diff options
author | Andrei Karas <akaras@inbox.ru> | 2017-03-27 01:10:48 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-03-27 01:10:48 +0300 |
commit | f1b901025a3fd6402c923cf7a001cf2432dfdd4b (patch) | |
tree | 3c031d5e212d14d7dfde48c313c3b6bacfba8cc7 /tools/ci/scripts/init.sh | |
parent | 6ada56378a2957d50396c1c89bd43e33e75c9ccc (diff) | |
download | manaverse-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.gz manaverse-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.bz2 manaverse-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.xz manaverse-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.zip |
Fix make script after adding JOBS variable.
Diffstat (limited to 'tools/ci/scripts/init.sh')
-rwxr-xr-x | tools/ci/scripts/init.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index a2aac226e..3bad16408 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -184,7 +184,7 @@ function run_cmake { function run_make { rm $ERRFILE - if [ "$JOBS" == "" ]; + if [ "$JOBS" == "" ]; then export JOBS=2 fi @@ -195,7 +195,7 @@ function run_make { function run_make_check { rm $ERRFILE - if [ "$JOBS" == "" ]; + if [ "$JOBS" == "" ]; then export JOBS=2 fi echo "make -j${JOBS} V=0 check $*" |