X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=gmp%2FMakefile;h=de36b2d1b57b201a2a07d7dff66395ab6d080537;hb=0a9b1362c9103c17a9f662287fd65c8779bcf4ef;hp=ab661d9f13c8fe0fed611ee44f021c6018e6e086;hpb=8612b9a9f60161f65e656f65df8b679008911b3a;p=ghc-hetmet.git

diff --git a/gmp/Makefile b/gmp/Makefile
index ab661d9..de36b2d 100644
--- a/gmp/Makefile
+++ b/gmp/Makefile
@@ -64,7 +64,8 @@ stamp.gmp.static:
 	mv $(GMP_DIR) gmpbuild
 	chmod +x ln
 	(set -o igncr 2>/dev/null) && set -o igncr; export SHELLOPTS; \
-	    export PATH=`pwd`:$$PATH; \
+	    PATH=`pwd`:$$PATH; \
+	    export PATH; \
 	    cd gmpbuild && \
 	    CC=$(WhatGccIsCalled) $(SHELL) configure \
 	          --enable-shared=no --host=$(PLATFORM) --build=$(PLATFORM)
@@ -76,7 +77,8 @@ stamp.gmp.shared:
 	mv $(GMP_DIR) gmpbuild-shared
 	chmod +x ln
 	(set -o igncr 2>/dev/null) && set -o igncr; export SHELLOPTS; \
-	    export PATH=`pwd`:$$PATH; \
+	    PATH=`pwd`:$$PATH; \
+	    export PATH; \
 	    cd gmpbuild-shared && \
 	    CC=$(WhatGccIsCalled) $(SHELL) configure \
 	          --enable-shared=yes --disable-static --host=$(PLATFORM) --build=$(PLATFORM)