mirror of
https://github.com/gnustep/tools-make.git
synced 2025-05-31 01:10:56 +00:00
Improve reliability
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@32205 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
85c411150c
commit
883d7c1ecb
4 changed files with 21 additions and 7 deletions
|
@ -98,12 +98,16 @@ export GSTESTMODE
|
|||
|
||||
if [ ! "$MAKE_CMD" ]
|
||||
then
|
||||
gmake --version > /dev/null 2>&1
|
||||
if [ $? = 0 ]
|
||||
MAKE_CMD=`gnustep-config --variable=GNUMAKE`
|
||||
$MAKE_CMD --version > /dev/null 2>&1
|
||||
if [ $? != 0 ]
|
||||
then
|
||||
MAKE_CMD=gmake
|
||||
else
|
||||
MAKE_CMD=make
|
||||
$MAKE_CMD --version > /dev/null 2>&1
|
||||
if [ $? != 0 ]
|
||||
then
|
||||
MAKE_CMD=make
|
||||
fi
|
||||
fi
|
||||
fi
|
||||
export MAKE_CMD
|
||||
|
|
|
@ -101,11 +101,16 @@ DIR=`pwd`
|
|||
|
||||
if [ ! "$MAKE_CMD" ]
|
||||
then
|
||||
MAKE_CMD=gmake
|
||||
MAKE_CMD=`gnustep-config --variable=GNUMAKE`
|
||||
$MAKE_CMD --version > /dev/null 2>&1
|
||||
if [ $? != 0 ]
|
||||
then
|
||||
MAKE_CMD=make
|
||||
MAKE_CMD=gmake
|
||||
$MAKE_CMD --version > /dev/null 2>&1
|
||||
if [ $? != 0 ]
|
||||
then
|
||||
MAKE_CMD=make
|
||||
fi
|
||||
fi
|
||||
fi
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue