From bbb8a7e72110fad6d6dc27a80dc245f3ff7dd4f5 Mon Sep 17 00:00:00 2001 From: Matthias Kilian Date: Fri, 31 Dec 2010 19:23:43 +0000 Subject: [PATCH] Drop a seven years old workaround for happy --- mk/config.mk.in | 4 ---- 1 file changed, 4 deletions(-) diff --git a/mk/config.mk.in b/mk/config.mk.in index 7acf824..9c9d636 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -722,10 +722,6 @@ HAPPY_VERSION = @HappyVersion@ # SRC_HAPPY_OPTS = -agc --strict -# 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 # -- 1.7.10.4