diff options
author | Evgeny Vereshchagin <evvers@ya.ru> | 2018-11-16 15:49:02 +0100 |
---|---|---|
committer | Evgeny Vereshchagin <evvers@ya.ru> | 2018-11-17 14:20:49 +0300 |
commit | b6b35f0e0b96d43c00256ff10ceefc2c53021158 (patch) | |
tree | cf12b1662a74d6f9bc48aa4435c7dcae80573e9c /travis-ci/managers | |
parent | conf-parse: use strjoina() where appropriate (diff) | |
download | systemd-b6b35f0e0b96d43c00256ff10ceefc2c53021158.tar.gz systemd-b6b35f0e0b96d43c00256ff10ceefc2c53021158.tar.bz2 systemd-b6b35f0e0b96d43c00256ff10ceefc2c53021158.zip |
travis: make the ASan & UBsan job a little bit stricter
Diffstat (limited to 'travis-ci/managers')
-rwxr-xr-x | travis-ci/managers/fedora.sh | 6 | ||||
-rw-r--r-- | travis-ci/managers/travis_wait.bash | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/travis-ci/managers/fedora.sh b/travis-ci/managers/fedora.sh index 077595c48..09122f723 100755 --- a/travis-ci/managers/fedora.sh +++ b/travis-ci/managers/fedora.sh @@ -57,7 +57,11 @@ for phase in "${PHASES[@]}"; do $DOCKER_EXEC ninja -v -C build # Never remove halt_on_error from UBSAN_OPTIONS. See https://github.com/systemd/systemd/commit/2614d83aa06592aedb. - travis_wait docker exec --interactive=false -t $CONT_NAME sh -c "UBSAN_OPTIONS=print_stacktrace=1:print_summary=1:halt_on_error=1 meson test --timeout-multiplier=3 -C ./build/ --print-errorlogs" + travis_wait docker exec --interactive=false \ + -e UBSAN_OPTIONS=print_stacktrace=1:print_summary=1:halt_on_error=1 \ + -e ASAN_OPTIONS=strict_string_checks=1:detect_stack_use_after_return=1:check_initialization_order=1:strict_init_order=1 \ + -t $CONT_NAME \ + meson test --timeout-multiplier=3 -C ./build/ --print-errorlogs ;; CLEANUP) info "Cleanup phase" diff --git a/travis-ci/managers/travis_wait.bash b/travis-ci/managers/travis_wait.bash index 3de9b9b0c..acf6ad15e 100644 --- a/travis-ci/managers/travis_wait.bash +++ b/travis-ci/managers/travis_wait.bash @@ -41,9 +41,11 @@ travis_wait() { local result { + set +e wait "${cmd_pid}" 2>/dev/null result="${?}" ps -p"${jigger_pid}" &>/dev/null && kill "${jigger_pid}" + set -e } if [[ "${result}" -eq 0 ]]; then |