summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck20
1 files changed, 14 insertions, 6 deletions
diff --git a/check b/check
index cc8ef6c..ea6f30d 100755
--- a/check
+++ b/check
@@ -2,12 +2,20 @@
set -euo pipefail
+offline=
+if [ "$#" -gt 0 ] && [ "$1" = "--offline" ]; then
+ offline=--offline
+ shift 1
+fi
+
cargo clippy -q --all-targets -- -D clippy::all
-cargo build --all-targets -q
-chronic cargo test -q
-subplot docgen obnam-benchmark.md -o obnam-benchmark.html
-subplot docgen obnam-benchmark.md -o obnam-benchmark.pdf
-subplot codegen obnam-benchmark.md -o test.py
-chronic python3 test.py --log test.log "$@"
+cargo build --all-targets -q $offline
+chronic cargo test -q $offline
+subplot docgen obnam-benchmark.subplot -o obnam-benchmark.html
+subplot codegen obnam-benchmark.subplot -o test.py
+if ! chronic python3 test.py --log test.log "$@"; then
+ cat test.log
+ exit 1
+fi
cargo fmt -- --check
echo A-OK