[project @ 2005-10-24 12:23:44 by simonmar]

define THREADED_RTS for the SMP way too

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 1a0076b..68fe833 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -1041,7 +1041,7 @@ WAY_u_HC_OPTS=-unreg
 
 # Way `s':
 WAY_s_NAME=threads (for SMP)
-WAY_s_HC_OPTS=-smp
+WAY_s_HC_OPTS=-smp -optc-DTHREADED_RTS
 
 # Way `mp': 
 WAY_mp_NAME=parallel
@@ -1077,7 +1077,7 @@ 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_debug_s_HC_OPTS=-optc-DDEBUG -optc-DTHREADED_RTS -smp
 
 # Way 'thr_debug':
 WAY_thr_debug_NAME=threaded