From: Simon Marlow <marlowsd@gmail.com>
Date: Tue, 3 May 2011 14:17:29 +0000 (+0100)
Subject: remove some old commented-out settings that no longer work
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f07313497d52d7c1866a72b2e642371e55d3fc9c

remove some old commented-out settings that no longer work
---

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 = :