[project @ 2004-02-25 11:17:47 by simonmar]

Delete options for building the debugging RTS; it is now built by default.

diff --git a/mk/build.mk.sample b/mk/build.mk.sample
index 9b07460..9f726d2 100644 (file)
--- a/mk/build.mk.sample
+++ b/mk/build.mk.sample
@@ -28,11 +28,6 @@ GhcHcOpts     = -Rghc-timing -DDEBUG
 GhcLibHcOpts  = -O -dcore-lint $(MyWarningOpts) -keep-hc-files 
 GhcLibWays    =
 
-# Debugging RTS
-GhcRtsHcOpts = -optc-DDEBUG
-GhcRtsCcOpts = -g
-SRC_HC_OPTS  += -lbfd -liberty
-
 # profiled RTS
 #GhcRtsCcOpts =  -pg -g