From f07313497d52d7c1866a72b2e642371e55d3fc9c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 3 May 2011 15:17:29 +0100 Subject: [PATCH] remove some old commented-out settings that no longer work --- mk/build.mk.sample | 9 --------- 1 file changed, 9 deletions(-) diff --git a/mk/build.mk.sample b/mk/build.mk.sample index a7764e2..216ca66 100644 --- a/mk/build.mk.sample +++ b/mk/build.mk.sample @@ -136,15 +136,6 @@ endif # ----------------------------------------------------------------------------- # Other settings that might be useful -# profiled RTS -#GhcRtsCcOpts = -pg -g - -# Optimised/profiled RTS -#GhcRtsCcOpts = -O2 -pg - -#GhcRtsWithFrontPanel = YES -#SRC_HC_OPTS += `gtk-config --libs` - # NoFib settings NoFibWays = STRIP_CMD = : -- 1.7.10.4