diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index 14c3e77decc23832aa475bb47f84ac296e767483..068d87d597e9309c7c17b2517abd443722c96c65 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
 
-ifneq "$(phase)" "0"
+ifeq "$(phase_3_done)" "YES"
 
 ifeq "$(findstring clean,$(MAKECMDGOALS))" ""
 include libraries/integer-gmp/gmp/config.mk