From 4574f821b6c47a7a6304e76bf36f618cda06ef6d Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 13 Jan 2005 14:12:40 +0000 Subject: [PATCH] [project @ 2005-01-13 14:12:40 by simonmar] Add way debug_u --- mk/config.mk.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mk/config.mk.in b/mk/config.mk.in index 27dc20a..2ddfe82 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -296,6 +296,7 @@ endif # thr_p : threaded profiled # debug : debugging (compile with -g for the C compiler, and -DDEBUG) # debug_p : debugging profiled +# debug_u : debugging unregisterised # thr_debug : debugging threaded # thr_debug_p : debugging threaded profiled # @@ -1056,6 +1057,10 @@ WAY_debug_HC_OPTS=-optc-DDEBUG WAY_debug_p_NAME=debug profiled WAY_debug_p_HC_OPTS=-optc-DDEBUG -prof +# Way 'debug_u': +WAY_debug_u_NAME=debug unregisterised +WAY_debug_u_HC_OPTS=-optc-DDEBUG -unreg + # Way 'thr_debug': WAY_thr_debug_NAME=threaded WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -- 1.7.10.4