From 3dc84d79c52e8999a450404ef08c4686a4d1279c Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Sun, 6 Feb 2011 20:32:32 +0000
Subject: [PATCH] Call the final build system phase "final" rather than ""

---
 gmp/ghc.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gmp/ghc.mk b/gmp/ghc.mk
index fd05db4..96a814f 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
-- 
GitLab