X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fways.mk;h=c2dcf072fbff86518a7a6e88b3023144c87468be;hb=0f183f73e2ad22b2a2225a388d024e0559862c66;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