summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 $*"