summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck3
1 files changed, 2 insertions, 1 deletions
diff --git a/check b/check
index c438751..182d952 100755
--- a/check
+++ b/check
@@ -1,12 +1,13 @@
#!/bin/bash
set -euo pipefail
+set -x
subplot docgen README.md -o README.pdf
subplot docgen README.md -o README.html
subplot codegen README.md -o test.py
rm -f test.log fail.tar.gz
-python3 test.py --log test.log --save-on-failure test.log
+python3 test.py --log test.log --save-on-failure fail.tar.gz
echo OK