diff options
Diffstat (limited to 'mk/config.mk.in')
| -rw-r--r-- | mk/config.mk.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index daa6d699c9..3a87f24d10 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -1234,7 +1234,7 @@ WAY_thr_debug_NAME=threaded WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG # Way 'thr_debug_p': -WAY_thr_debug_p_NAME=threaded +WAY_thr_debug_p_NAME=threaded debug profiling WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof # Way 'dyn': build dynamic shared libraries |