2018-05-21 23:02:54 -07:00
|
|
|
#!/bin/bash -e
|
|
|
|
|
|
2018-05-27 18:19:07 -07:00
|
|
|
cd "$(dirname "$0")/.."
|
2018-05-21 23:02:54 -07:00
|
|
|
|
2018-06-24 21:24:08 -07:00
|
|
|
export RUST_BACKTRACE=1
|
2018-05-22 16:57:14 -07:00
|
|
|
rustc --version
|
|
|
|
|
cargo --version
|
|
|
|
|
|
2018-06-24 21:24:08 -07:00
|
|
|
_() {
|
|
|
|
|
echo "--- $*"
|
|
|
|
|
"$@"
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_ cargo build --verbose --features unstable
|
|
|
|
|
_ cargo test --verbose --features unstable
|
2018-07-11 20:18:24 -07:00
|
|
|
_ cargo clippy -- --deny=warnings
|
2018-06-24 21:24:08 -07:00
|
|
|
|
2018-07-18 12:49:29 -07:00
|
|
|
exit 0
|
|
|
|
|
|
|
|
|
|
# Coverage disabled (see issue #433)
|
2018-06-24 21:24:08 -07:00
|
|
|
_ cargo cov test
|
|
|
|
|
_ cargo cov report
|
|
|
|
|
|
|
|
|
|
echo --- Coverage report:
|
|
|
|
|
ls -l target/cov/report/index.html
|
|
|
|
|
|
|
|
|
|
if [[ -z "$CODECOV_TOKEN" ]]; then
|
|
|
|
|
echo CODECOV_TOKEN undefined
|
|
|
|
|
else
|
2018-07-18 09:11:05 -07:00
|
|
|
bash <(curl -s https://codecov.io/bash) -x 'llvm-cov-6.0 gcov'
|
2018-06-24 21:24:08 -07:00
|
|
|
fi
|
2018-05-21 23:02:54 -07:00
|
|
|
|
