diff --git a/Makefile b/Makefile index 9f516b74157e31ac9bca4306788b2eb417c3dbc0..4e5fcbb002324a4042204fdd68b87263ec0f8a0d 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