summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-03-27 01:10:48 +0300
committerAndrei Karas <akaras@inbox.ru>2017-03-27 01:10:48 +0300
commitf1b901025a3fd6402c923cf7a001cf2432dfdd4b (patch)
tree3c031d5e212d14d7dfde48c313c3b6bacfba8cc7 /tools/ci
parent6ada56378a2957d50396c1c89bd43e33e75c9ccc (diff)
downloadplus-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.gz
plus-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.bz2
plus-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.tar.xz
plus-f1b901025a3fd6402c923cf7a001cf2432dfdd4b.zip
Fix make script after adding JOBS variable.
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/scripts/init.sh4
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 $*"