projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix #1984: missing context switches
[ghc-hetmet.git]
/
distrib
/
Makefile
diff --git
a/distrib/Makefile
b/distrib/Makefile
index
a91557e
..
a157672
100644
(file)
--- a/
distrib/Makefile
+++ b/
distrib/Makefile
@@
-1,7
+1,7
@@
include Makefile-vars
include Makefile-vars
-.PHONY: install postinstall denounce show-install-setup
+.PHONY: install-strip install postinstall denounce show-install-setup
#.PHONY: in-place
# This has bitrotted:
#.PHONY: in-place
# This has bitrotted:
@@
-14,6
+14,9
@@
include Makefile-vars
# fi
# @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
# fi
# @echo "Finished configuring..to use, add `pwd`/bin/$(platform) to your PATH."
+install-strip:
+ $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install
+
install ::
$(INSTALL_DIR) $(bindir)
install ::
$(INSTALL_DIR) $(bindir)