diff options
| -rw-r--r-- | libraries/integer-gmp/gmp/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/integer-gmp/gmp/ghc.mk b/libraries/integer-gmp/gmp/ghc.mk index fd05db4547..96a814fe85 100644 --- a/libraries/integer-gmp/gmp/ghc.mk +++ b/libraries/integer-gmp/gmp/ghc.mk @@ -33,7 +33,7 @@ clean_gmp: "$(RM)" $(RM_OPTS_REC) libraries/integer-gmp/gmp/gmpbuild endif -ifeq "$(phase)" "" +ifeq "$(phase)" "final" ifeq "$(findstring clean,$(MAKECMDGOALS))" "" include libraries/integer-gmp/gmp/config.mk |