diff options
Diffstat (limited to 'ghc/Makefile')
-rw-r--r-- | ghc/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index 048b3a59b7..c0664df5fd 100644 --- a/ghc/Makefile +++ b/ghc/Makefile @@ -34,12 +34,18 @@ stage2 :: stage3 :: $(MAKE) stage=3 + ifeq "$(CLEAN_ALL_STAGES)" "YES" clean distclean:: clean.stage.1 clean.stage.2 clean.stage.3 else clean distclean:: clean.stage.$(stage) endif +ifeq "$(CLEAN_ALL_STAGES)" "YES" +distclean:: + $(RM) -f ghc-bin.cabal +endif + clean.stage.%: -$(CABAL) clean --distpref dist-stage$* $(RM) -rf stage$*-inplace |