diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-03-27 01:37:44 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-03-27 01:37:44 +0300 |
| commit | 5f3756c2d5ac93ef7389fca2588df19e0da08a11 (patch) | |
| tree | 6c5e4094f4011944c438fcd489c882e74a21356d /tools | |
| parent | afe50700ab5a93dc34d9b9fc1563b79553a8dddd (diff) | |
| download | plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.gz plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.bz2 plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.tar.xz plus-5f3756c2d5ac93ef7389fca2588df19e0da08a11.zip | |
Add debug message if JOBS variable is not set.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 2 |
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 |