summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck14
1 files changed, 3 insertions, 11 deletions
diff --git a/check b/check
index 606241e..272ee63 100755
--- a/check
+++ b/check
@@ -3,7 +3,6 @@
set -eu
verbose=false
-runtest=true
moar=true
while [ "$#" -gt 0 ] && $moar
do
@@ -12,10 +11,6 @@ do
verbose=true
shift 1
;;
- -c | --codegen)
- runtest=false
- shift 1
- ;;
esac
done
@@ -33,12 +28,9 @@ fi
codegen() {
- local run=
- if $runtest
- then
- run=--run
- fi
- $hideok subplot codegen "$1" --output "$2" $run
+ $hideok subplot codegen "$1" --output "$2"
+ rm -f test.log
+ $hideok python3 test.py --log test.log
}
docgen() {