From f1b901025a3fd6402c923cf7a001cf2432dfdd4b Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Mon, 27 Mar 2017 01:10:48 +0300
Subject: Fix make script after adding JOBS variable.

---
 tools/ci/scripts/init.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

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 $*"
-- 
cgit v1.2.3-70-g09d2