diff options
Diffstat (limited to 'mk/config.mk.in')
| -rw-r--r-- | mk/config.mk.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 0119e9a984..2bff8432e4 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -852,7 +852,8 @@ HAPPY_VERSION = @HappyVersion@ # # Options to pass to Happy when we're going to compile the output with GHC # -SRC_HAPPY_OPTS = -agc --strict +# TODO (int-index): restore the -c option when happy/pull/134 is merged. +SRC_HAPPY_OPTS = -ag --strict # # Alex |