X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=4e5fcbb002324a4042204fdd68b87263ec0f8a0d;hb=9c5b7a1e68fe6b30b64f481be9a11e3db3247c6a;hp=94d6df8ad7be18be4098753cae05adceeacdfff4;hpb=57605cf459c2670566bd6e9b1744ef663d05384b;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index 94d6df8..4e5fcbb 100644
--- a/Makefile
+++ b/Makefile
@@ -19,13 +19,9 @@ default:
 	@echo 'Run "make install" to install'
 	@false
 
-.PHONY: install
-install:
-	$(MAKE) -r --no-print-directory -f ghc.mk install BINDIST=YES NO_INCLUDE_DEPS=YES
-
-.PHONY: show
-show:
-	$(MAKE) -r --no-print-directory -f ghc.mk $@
+.PHONY: install show
+install show:
+	$(MAKE) -r --no-print-directory -f ghc.mk $@ BINDIST=YES NO_INCLUDE_DEPS=YES
 
 else
 
@@ -49,7 +45,7 @@ endif
 include mk/custom-settings.mk
 
 # No need to update makefiles for these targets:
-REALGOALS=$(filter-out bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show help,$(MAKECMDGOALS))
+REALGOALS=$(filter-out binary-dist bootstrapping-files framework-pkg clean clean_% distclean maintainer-clean show help,$(MAKECMDGOALS))
 
 # configure touches certain files even if they haven't changed.  This
 # can mean a lot of unnecessary recompilation after a re-configure, so