Commit e7fe9f20 authored by Simon Marlow's avatar Simon Marlow
Browse files

compensate for gmp/configure sometimes not being executable

parent 80564ddc
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment