summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-03-27 01:37:44 +0300
committerAndrei Karas <akaras@inbox.ru>2017-03-27 01:37:44 +0300
commit5f3756c2d5ac93ef7389fca2588df19e0da08a11 (patch)
tree6c5e4094f4011944c438fcd489c882e74a21356d
parentafe50700ab5a93dc34d9b9fc1563b79553a8dddd (diff)
downloadplus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.gz
plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.bz2
plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.xz
plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.zip
Add debug message if JOBS variable is not set.
-rwxr-xr-xtools/ci/scripts/init.sh2
1 files changed, 2 insertions, 0 deletions
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