summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile10
1 files changed, 3 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index 9f516b7415..4e5fcbb002 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