From 8a5a91cb67e8c4e2558031c04efccf3c378ba254 Mon Sep 17 00:00:00 2001 From: David Himmelstrup Date: Thu, 10 Sep 2020 17:12:54 +0800 Subject: Enable TICKY_TICKY for debug builds when building with makefiles. --- mk/ways.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mk/ways.mk b/mk/ways.mk index 870b4a5460..4a1305e33b 100644 --- a/mk/ways.mk +++ b/mk/ways.mk @@ -70,7 +70,7 @@ WAY_thr_l_HC_OPTS= -static -optc-DTHREADED_RTS -eventlog # Way 'debug': WAY_debug_NAME=debug -WAY_debug_HC_OPTS= -static -optc-DDEBUG -ticky -DTICKY_TICKY -eventlog +WAY_debug_HC_OPTS= -static -optc-DDEBUG -ticky -DTICKY_TICKY -optc-DTICKY_TICKY -eventlog # Way 'debug_p': WAY_debug_p_NAME=debug profiled @@ -110,7 +110,7 @@ WAY_thr_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DTHREADED_RTS -optc-DDEBUG -event # Way 'debug_dyn': WAY_debug_dyn_NAME=debug_dyn -WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG -ticky -DTICKY_TICKY -eventlog +WAY_debug_dyn_HC_OPTS=-fPIC -dynamic -optc-DDEBUG -ticky -DTICKY_TICKY -optc-DTICKY_TICKY -eventlog # Way 'l_dyn': WAY_l_dyn_NAME=event logging dynamic -- cgit v1.2.1