From 701d72574685d7e884728375eaeb6b6b52f6c749 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 24 Oct 2005 12:23:44 +0000 Subject: [PATCH] [project @ 2005-10-24 12:23:44 by simonmar] define THREADED_RTS for the SMP way too --- mk/config.mk.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index 1a0076b..68fe833 100644 --- 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 -- 1.7.10.4