Workaround for #1959: assume untracked names have changed

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 104694e..d44d00d 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -670,8 +670,6 @@ SRC_HC_OPTS += -H16m -O
 # These flags make flex 8-bit
 SRC_FLEX_OPTS  += -8
 
-SRC_INSTALL_BIN_OPTS   += -s
-
 # lint gets all CPP's flags too
 SRC_LINT_OPTS          += -axz -DLINT $(SRC_CPP_OPTS)
 WAY$(_way)_LINT_OPTS   += WAY$(_way)_CPP_OPTS
@@ -1041,6 +1039,8 @@ STRIP                     = strip
 TAR                    = @TarCmd@
 ZIP                    = zip
 
+HSCOLOUR = @HSCOLOUR@
+
 #
 # This is special to literate/, ToDo: add literate-specific
 # configure setup to literate/.