diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-05-10 19:29:39 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2016-05-10 19:29:39 +0300 |
commit | 6524f86be0e1d05ac27a3cb64b163713304d30d8 (patch) | |
tree | 09aa0d21dddf312418b70f371da313b9588e472b /tools/ci/scripts | |
parent | 556e081363da7255fd8c0fea65aeab887b6aa5f8 (diff) | |
download | plus-6524f86be0e1d05ac27a3cb64b163713304d30d8.tar.gz plus-6524f86be0e1d05ac27a3cb64b163713304d30d8.tar.bz2 plus-6524f86be0e1d05ac27a3cb64b163713304d30d8.tar.xz plus-6524f86be0e1d05ac27a3cb64b163713304d30d8.zip |
Improve error checks in tests ci scripts.
Diffstat (limited to 'tools/ci/scripts')
-rwxr-xr-x | tools/ci/scripts/init.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 7f48bb0aa..ad086d705 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -146,6 +146,18 @@ function run_make { check_error $? } +function run_make_check { + rm $ERRFILE + echo "make -j2 V=0 check $*" + make -j2 V=0 check $* 2>$ERRFILE + export ERR=$? + if [ "${ERR}" != 0 ]; then + cat $ERRFILE + cat src/manaplustests.log + exit ${ERR} + fi +} + function run_check_warnings { DATA=$(cat $ERRFILE) if [ "$DATA" != "" ]; |