Commit bbb8a7e7 authored by kili's avatar kili

Drop a seven years old workaround for happy

parent 7d233b8c
......@@ -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
#
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment