Synched gist at Fri Mar 8 07:53:20 PST 2024
This commit is contained in:
parent
d6b0dc1f34
commit
d77f55a6b0
1 changed files with 14 additions and 14 deletions
|
@ -82,15 +82,11 @@ check_pak()
|
||||||
# dependencies: rewise
|
# dependencies: rewise
|
||||||
if [ ! -f ./rewise ]
|
if [ ! -f ./rewise ]
|
||||||
then
|
then
|
||||||
# is this GNU?
|
# detect if we have gmake, and the right version too.
|
||||||
if [ "$MAKEVER" = "GNU" ]
|
|
||||||
then
|
|
||||||
MAKETOOL="make"
|
|
||||||
else
|
|
||||||
# guess not, do we have gmake?
|
|
||||||
if [ -x "$(command -v gmake)" ]
|
if [ -x "$(command -v gmake)" ]
|
||||||
then
|
then
|
||||||
MAKEVER=$(gmake --version | awk '{ print $1 }' | head -n 1)
|
MAKEVER=$(gmake --version | awk '{ print $1 }' | head -n 1)
|
||||||
|
|
||||||
if [ "$MAKEVER" = "GNU" ]
|
if [ "$MAKEVER" = "GNU" ]
|
||||||
then
|
then
|
||||||
MAKETOOL="gmake"
|
MAKETOOL="gmake"
|
||||||
|
@ -99,6 +95,10 @@ then
|
||||||
exit 2
|
exit 2
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
if [ -z "$MAKETOOL" ]
|
||||||
|
then
|
||||||
|
MAKETOOL=make
|
||||||
fi
|
fi
|
||||||
|
|
||||||
BINDIR="$(pwd)"
|
BINDIR="$(pwd)"
|
||||||
|
|
Loading…
Reference in a new issue