From 6f12fb754620f1f342bdbfd3b470584bf6d5daa3 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 12 May 2008 10:40:30 +0000 Subject: [PATCH] doc tweak --- mk/config.mk.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index daa6d69..3a87f24 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -1234,7 +1234,7 @@ WAY_thr_debug_NAME=threaded WAY_thr_debug_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG # Way 'thr_debug_p': -WAY_thr_debug_p_NAME=threaded +WAY_thr_debug_p_NAME=threaded debug profiling WAY_thr_debug_p_HC_OPTS=-optc-DTHREADED_RTS -optc-DDEBUG -prof # Way 'dyn': build dynamic shared libraries -- 1.7.10.4