diff options
Diffstat (limited to 'mk/build.mk.sample')
| -rw-r--r-- | mk/build.mk.sample | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/mk/build.mk.sample b/mk/build.mk.sample index a7764e2e46..216ca66c1b 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 = : |