Merge branch 'fixes' into 'main'HEADmain

fixes

See merge request obnam/obnam-benchmark!16

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