Skip to content
Snippets Groups Projects
Commit 61c2dee3 authored by rtoy's avatar rtoy
Browse files

This has the same issue with finding make as in build.sh. Copy over

the code from build.sh to here so we do the same thing.

(Should this be moved out to a separate file?)
parent 27bc1a7b
No related branches found
No related tags found
No related merge requests found
...@@ -42,7 +42,15 @@ EOF ...@@ -42,7 +42,15 @@ EOF
if [ "$MAKE" = "" ] if [ "$MAKE" = "" ]
then then
MAKE="`which gmake`" MAKE="`which gmake`"
if echo $MAKE | grep '^no' > /dev/null; then
# Some versions of which set an error code if it fails. Others
# say "no foo in <path>". In either of these cases, just assume
# make is GNU make.
if [ $? -ne 0 ]; then
MAKE="make"
fi
if echo "X$MAKE" | grep '^Xno' > /dev/null; then
MAKE="make" MAKE="make"
fi fi
fi fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment