projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
80564dd
)
compensate for gmp/configure sometimes not being executable
author
Simon Marlow
<simonmar@microsoft.com>
Tue, 17 Oct 2006 13:22:15 +0000
(13:22 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Tue, 17 Oct 2006 13:22:15 +0000
(13:22 +0000)
rts/Makefile
patch
|
blob
|
history
diff --git
a/rts/Makefile
b/rts/Makefile
index
9828f55
..
d187547
100644
(file)
--- 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