From 5f3756c2d5ac93ef7389fca2588df19e0da08a11 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Mon, 27 Mar 2017 01:37:44 +0300
Subject: Add debug message if JOBS variable is not set.

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

(limited to 'tools')

diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 3bad16408..99e6e2ac5 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -186,6 +186,7 @@ function run_make {
     rm $ERRFILE
     if [ "$JOBS" == "" ]; then
         export JOBS=2
+        echo "No JOBS defined"
     fi
 
     echo "make -j${JOBS} V=0 $*"
@@ -197,6 +198,7 @@ function run_make_check {
     rm $ERRFILE
     if [ "$JOBS" == "" ]; then
         export JOBS=2
+        echo "No JOBS defined"
     fi
     echo "make -j${JOBS} V=0 check $*"
     make -j${JOBS} V=0 check $* 2>$ERRFILE
-- 
cgit v1.2.3-60-g2f50