X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fways.mk;h=c2dcf072fbff86518a7a6e88b3023144c87468be;hb=fd26d0ac1b48890dc7c3b5b60b42373fa964cdc8;hp=deba1d5df8d92adb6d6131addb6b0177d62395ec;hpb=cd5099a029e06fb974c37cf453a87e5cf5e0fc29;p=ghc-hetmet.git diff --git a/mk/ways.mk b/mk/ways.mk index deba1d5..c2dcf07 100644 --- a/mk/ways.mk +++ b/mk/ways.mk @@ -40,10 +40,6 @@ WAY_v_HC_OPTS= WAY_p_NAME=profiling WAY_p_HC_OPTS= -prof -# Way 't': -WAY_t_NAME=ticky-ticky profiling -WAY_t_HC_OPTS= -ticky - # Way 'l': WAY_l_NAME=event logging WAY_l_HC_OPTS= -eventlog @@ -80,10 +76,6 @@ WAY_debug_HC_OPTS=-optc-DDEBUG WAY_debug_p_NAME=debug profiled WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof -# 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