diff options
Diffstat (limited to 'mk/ways.mk')
| -rw-r--r-- | mk/ways.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/ways.mk b/mk/ways.mk index c3651163c7..5608dbd9ef 100644 --- a/mk/ways.mk +++ b/mk/ways.mk @@ -77,7 +77,7 @@ WAY_debug_p_NAME=debug profiled WAY_debug_p_HC_OPTS= -static -optc-DDEBUG -prof # Way 'thr_debug': -WAY_thr_debug_NAME=threaded +WAY_thr_debug_NAME=threaded debug WAY_thr_debug_HC_OPTS= -static -optc-DTHREADED_RTS -optc-DDEBUG # Way 'thr_debug_p': |