From 5f3756c2d5ac93ef7389fca2588df19e0da08a11 Mon Sep 17 00:00:00 2001 From: Andrei Karas 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(+) 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-70-g09d2