From b71578e649e400677614f46a53ed11da7f3c9da2 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 25 Feb 2004 11:17:47 +0000
Subject: [PATCH] [project @ 2004-02-25 11:17:47 by simonmar] Delete options
 for building the debugging RTS; it is now built by default.

---
 mk/build.mk.sample |    5 -----
 1 file changed, 5 deletions(-)

diff --git a/mk/build.mk.sample b/mk/build.mk.sample
index 9b07460..9f726d2 100644
--- 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
 
-- 
1.7.10.4