diff options
author | Ian Lynagh <igloo@earth.li> | 2011-02-07 14:20:46 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2011-02-07 14:20:46 +0000 |
commit | 6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e (patch) | |
tree | 0e231893525f4db5d4672044fdfdb650722ccfb5 /Makefile | |
parent | c21f0768fcaa95720e22ed5d7814b398645f6c17 (diff) | |
download | haskell-6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e.tar.gz |
Call the final build system phase "final" rather than ""
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -69,7 +69,7 @@ ifneq "$(OMIT_PHASE_1)" "YES" $(MAKE) -r --no-print-directory -f ghc.mk phase=1 phase_1_builds endif @echo "===--- building final phase" - $(MAKE) -r --no-print-directory -f ghc.mk $@ + $(MAKE) -r --no-print-directory -f ghc.mk phase=final $@ binary-dist: binary-dist-prep ifeq "$(mingw32_TARGET_OS)" "1" |