diff options
| -rw-r--r-- | mk/config.mk.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index d1605d1c2b..a489fbf598 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -341,6 +341,8 @@ endif # debug_u : debugging unregisterised # thr_debug : debugging threaded # thr_debug_p : debugging threaded profiled +# t : ticky-ticky profiling +# debug_t : debugging ticky-ticky profiling # ifeq "$(BootingFromHc)" "YES" GhcRTSWays= |