diff options
Diffstat (limited to 'compiler/Makefile')
| -rw-r--r-- | compiler/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index 67962bc0fe..3e14087313 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -222,7 +222,7 @@ boot :: $(CONFIG_HS) $(CONFIG_HS) : $(FPTOOLS_TOP)/mk/config.mk @$(RM) -f $(CONFIG_HS) @echo "Creating $(CONFIG_HS) ... " - @echo "{-# OPTIONS_GHC -w #-}" >>$(CONFIG_HS) + @echo "{-# OPTIONS -w #-}" >>$(CONFIG_HS) @echo "module Config where" >>$(CONFIG_HS) @echo "cProjectName = \"$(ProjectName)\"" >> $(CONFIG_HS) @echo "cProjectVersion = \"$(ProjectVersion)\"" >> $(CONFIG_HS) |