diff options
| author | David Himmelstrup <lemmih@gmail.com> | 2020-09-10 17:12:54 +0800 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-11 09:59:43 -0400 |
| commit | 8a5a91cb67e8c4e2558031c04efccf3c378ba254 (patch) | |
| tree | 708392dd3075d956f3323ee04aa1f10755479424 /mk | |
| parent | 15e67801ee72b94c6c826f641464c6be511685cc (diff) | |
| download | haskell-8a5a91cb67e8c4e2558031c04efccf3c378ba254.tar.gz | |
Enable TICKY_TICKY for debug builds when building with makefiles.
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/ways.mk | 4 |
1 files 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 |