forked from github/server
don't call nproc if the system doesn't have it
This commit is contained in:
parent
86b0febac0
commit
48ea310364
6
s/build
6
s/build
|
@ -1,7 +1,7 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
ROOT=$(pwd)
|
ROOT=`pwd`
|
||||||
while [ ! -d $ROOT/.git ]; do
|
while [ ! -d $ROOT/.git ]; do
|
||||||
ROOT=$(dirname $ROOT)
|
ROOT=`dirname $ROOT`
|
||||||
done
|
done
|
||||||
|
|
||||||
[ -z $BUILD ] && BUILD=Debug
|
[ -z $BUILD ] && BUILD=Debug
|
||||||
|
@ -11,7 +11,7 @@ MACHINE=`uname -m`
|
||||||
[ -z "$CC" ] && [ ! -z `which cc` ] && CC="cc"
|
[ -z "$CC" ] && [ ! -z `which cc` ] && CC="cc"
|
||||||
BIN_DIR="build-$MACHINE-$CC-$BUILD"
|
BIN_DIR="build-$MACHINE-$CC-$BUILD"
|
||||||
|
|
||||||
[ -z "$JOBS" ] && JOBS=$(nproc)
|
[ -z "$JOBS" ] && [ "" != "which nproc" ] && JOBS=`nproc`
|
||||||
DISTCC=`which distcc`
|
DISTCC=`which distcc`
|
||||||
if [ ! -z "$DISTCC" ] ; then
|
if [ ! -z "$DISTCC" ] ; then
|
||||||
JOBS=`distcc -j`
|
JOBS=`distcc -j`
|
||||||
|
|
Loading…
Reference in New Issue