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 | |
| parent | 6ada56378a2957d50396c1c89bd43e33e75c9ccc (diff) | |
| download | mv-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.gz mv-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.bz2 mv-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.xz mv-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.zip | |
Fix make script after adding JOBS variable.
Diffstat (limited to 'tools/ci')
| -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 $*" |