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 (file)
--- 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 = :