diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -78,6 +78,7 @@ REALGOALS=$(filter-out \ distclean \ maintainer-clean \ show \ + show! \ echo \ help \ test \ @@ -142,6 +143,10 @@ $(filter clean_%, $(MAKECMDGOALS)) : clean_% : bootstrapping-files show echo: $(MAKE) --no-print-directory -f ghc.mk $@ +.PHONY: show! +show!: + $(MAKE) --no-print-directory -f ghc.mk show NO_INCLUDE_PKGDATA=YES + ifeq "$(darwin_TARGET_OS)" "1" .PHONY: framework-pkg framework-pkg: |