Skip to content

GitLab

Commit fd1375dd authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Add WAY_debug_t_NAME and WAY_debug_t_HC_OPTS

parent bcbb5b1e
Hide whitespace changes
Inline Side-by-side
mk/config.mk.in
View file @ fd1375dd
......@@ -1152,6 +1152,10 @@ WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof
WAY_debug_u_NAME=debug unregisterised
WAY_debug_u_HC_OPTS=-optc-DDEBUG -unreg
# Way 'debug_t':
WAY_debug_t_NAME=debug ticky-ticky profiling
WAY_debug_t_HC_OPTS= -ticky -optc-DDEBUG
# Way 'thr_debug':
WAY_thr_debug_NAME=threaded
WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment