diff options
Diffstat (limited to 'ghc/Makefile')
-rw-r--r-- | ghc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index fba3e9f00e..806db1a0a7 100644 --- a/ghc/Makefile +++ b/ghc/Makefile @@ -17,6 +17,11 @@ boot:: boot.stage.$(stage) all:: build.stage.$(stage) +rebuild :: + -$(CABAL) clean --distpref dist-stage$(stage) + $(RM) -rf stage$(stage)-inplace + $(MAKE) boot all + stage1 :: $(MAKE) stage=1 |