diff options
| -rw-r--r-- | ghc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index 4ee970cd65..fba3e9f00e 100644 --- a/ghc/Makefile +++ b/ghc/Makefile @@ -29,8 +29,10 @@ stage3 :: clean distclean:: -$(CABAL) clean --distpref dist-stage1 -$(CABAL) clean --distpref dist-stage2 + -$(CABAL) clean --distpref dist-stage3 $(RM) -rf stage1-inplace $(RM) -rf stage2-inplace + $(RM) -rf stage3-inplace # XXX This should be defined somewhere more central INPLACE_DATA_DIR = $(FPTOOLS_TOP_ABS)/inplace-datadir |