diff --git a/gmp/ghc.mk b/gmp/ghc.mk index fd05db45477a0f03e9d3bae22ed6a5fe45ed8978..96a814fe855b10aa54db21a3514c140b52664fe3 100644 --- a/gmp/ghc.mk +++ b/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