diff options
Diffstat (limited to 'tools')
| -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 $*" |