summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c08ccc5154..b1b1742eb3 100644
--- a/Makefile
+++ b/Makefile
@@ -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: