1 files changed, 8 insertions, 12 deletions

diff --git a/check b/check
index b55a411..272ee63 100755
--- a/check
+++ b/check
@@ -1,9 +1,8 @@
-#!/bin/sh
+#!/bin/bash
 
 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() {
@@ -48,9 +40,13 @@ docgen() {
 $hideok cargo build --all-targets
 if cargo --list | awk '{ print $1 }' | grep 'clippy$' > /dev/null
 then
+    # shellcheck disable=SC2086
     cargo clippy $quiet
 fi
+
+# shellcheck disable=SC2086
 $hideok cargo test $quiet
+
 if cargo fmt --help > /dev/null 2> /dev/null
 then
     $hideok cargo fmt -- --check