X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=rts%2FMakefile;h=d187547c39f0985127f24c8a8c64cd3b574a1631;hp=9828f55414b25876b019b2880b2fe9c11e457998;hb=e7fe9f20ca0d8af8e8f5f5e8c512fd863c788827;hpb=edad06244b0a542d6b5c9ce3f3cd72941c5be804

diff --git a/rts/Makefile b/rts/Makefile
index 9828f55..d187547 100644
--- a/rts/Makefile
+++ b/rts/Makefile
@@ -244,7 +244,7 @@ boot ::
 	if [ -f gmp/config.status ]; then \
 	   cd gmp && CC=$(WhatGccIsCalled) ./config.status; \
         else \
-	   cd gmp && CC=$(WhatGccIsCalled) ./configure --enable-shared=no \
+	   cd gmp && CC=$(WhatGccIsCalled) $(SHELL) configure --enable-shared=no \
 		        --host=`echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'`; \
 	fi