projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
# 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
# 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
TAR = @TarCmd@
ZIP = zip
+HSCOLOUR = @HSCOLOUR@
+
#
# This is special to literate/, ToDo: add literate-specific
# configure setup to literate/.
#
# This is special to literate/, ToDo: add literate-specific
# configure setup to literate/.