install:
- $CI_MANAGERS/debian.sh SETUP
script:
- - set -e
- # Build systemd
- - $CI_MANAGERS/debian.sh RUN
- - set +e
+ - $CI_MANAGERS/debian.sh RUN || travis_terminate 1
after_script:
- $CI_MANAGERS/debian.sh CLEANUP
install:
- $CI_MANAGERS/debian.sh SETUP
script:
- - set -e
- - $CI_MANAGERS/debian.sh RUN_ASAN
- - set +e
+ - $CI_MANAGERS/debian.sh RUN_ASAN || travis_terminate 1
after_script:
- $CI_MANAGERS/debian.sh CLEANUP
install:
- $CI_MANAGERS/debian.sh SETUP
script:
- - set -e
- - $CI_MANAGERS/debian.sh RUN_CLANG
- - set +e
+ - $CI_MANAGERS/debian.sh RUN_CLANG || travis-travis_terminate 1
after_script:
- $CI_MANAGERS/debian.sh CLEANUP
install:
- $CI_MANAGERS/debian.sh SETUP
script:
- - set -e
- - $CI_MANAGERS/debian.sh RUN_CLANG_ASAN
- - set +e
+ - $CI_MANAGERS/debian.sh RUN_CLANG_ASAN || travis_terminate 1
after_script:
- $CI_MANAGERS/debian.sh CLEANUP