From 145c989f0f2b6b648376ce3fe3b42e1a08d13a14 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 13 May 2005 10:58:10 +0000
Subject: [PATCH] [project @ 2005-05-13 10:58:10 by simonmar] Add debug_s way

---
 mk/config.mk.in |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 07ebbba..18caa25 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -1077,6 +1077,10 @@ WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof
 WAY_debug_u_NAME=debug unregisterised
 WAY_debug_u_HC_OPTS=-optc-DDEBUG -unreg
 
+# Way 'debug_s':
+WAY_debug_s_NAME=debug SMP
+WAY_debug_s_HC_OPTS=-optc-DDEBUG -smp
+
 # Way 'thr_debug':
 WAY_thr_debug_NAME=threaded
 WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG
-- 
1.7.10.4