diff --git a/mk/config.mk.in b/mk/config.mk.in index 7c1e262f7644e2477e1f181aca9e7ce29ffb37e5..ca9b6ed3004f0db3db586121800719ae7e44831c 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -417,6 +417,9 @@ endif # # SRC_HC_OPTS += -O +ifeq ($(Ghc2_0),NO) +SRC_HAPPY_OPTS += -1.2 +endif ################################################################################# # @@ -610,10 +613,6 @@ ifeq "$(HAPPY)" "" HAPPY = $(HAPPY_PREFIX)happy endif -ifeq ($(Ghc2_0),NO) -SRC_HAPPY_OPTS = -1.2 -endif - # # Stuff from fptools/literate #