diff options
Diffstat (limited to 'compiler/Makefile')
-rw-r--r-- | compiler/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index 592498f5fa..69b290340c 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -77,8 +77,12 @@ distclean:: endif clean.stage.%: - -$(CABAL) clean --distpref dist-stage$* $(RM) -f Makefile-stage$* +# This is a bit naughty. We ought to use: +# -$(CABAL) clean --distpref dist-stage$* +# but that won't work if the Cabal file (a generated file) doesn't +# exist. So we do this instead: + $(RM) -rf dist-stage$* CONFIGURE_FLAGS_STAGE1 += --flags=stage1 CONFIGURE_FLAGS_STAGE2 += --flags=-stage1 |