heapless/ci/script.sh
2018-04-23 19:54:46 +02:00

22 lines
511 B
Bash

set -euxo pipefail
main() {
cargo check --target $TARGET
if [ $TARGET = x86_64-unknown-linux-gnu ]; then
cargo test --target $TARGET
cargo test --target $TARGET --release
export RUSTFLAGS="-Z sanitizer=thread"
export RUST_TEST_THREADS=1
export TSAN_OPTIONS="suppressions=$(pwd)/blacklist.txt"
cargo test --test tsan --target $TARGET
cargo test --test tsan --target $TARGET --release
fi
}
if [ $TRAVIS_BRANCH != master ]; then
main
fi