[project @ 2003-12-11 09:36:46 by simonmar]

Add +RTS -K2m to SRC_HAPPY_OPTS, to work around perf. problems in the HEAD.

diff --git a/mk/config.mk.in b/mk/config.mk.in
index d29a7d6..afd2941 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -926,6 +926,10 @@ HAPPY_VERSION              = @HappyVersion@
 #
 GHC_HAPPY_OPTS         = -agc
 
+# Temp. to work around performance problems in the HEAD around 8/12/2003,
+# A Happy compiled with this compiler needs more stack.
+SRC_HAPPY_OPTS         = +RTS -K2m -RTS
+
 #
 # Alex
 #