summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
Diffstat (limited to 'check')
-rwxr-xr-xcheck20
1 files changed, 16 insertions, 4 deletions
diff --git a/check b/check
index 8d7e56e..912a005 100755
--- a/check
+++ b/check
@@ -3,14 +3,21 @@
set -eu
verbose=false
-if [ "$#" -gt 0 ]
-then
+runtest=true
+moar=true
+while [ "$#" -gt 0 ] && $moar
+do
case "$1" in
verbose | -v | --verbose)
verbose=true
+ shift 1
+ ;;
+ -c | --codegen)
+ runtest=false
+ shift 1
;;
esac
-fi
+done
hideok=
if command -v chronic > /dev/null
@@ -26,7 +33,12 @@ fi
codegen() {
- $hideok sp-codegen "$1" --output "$2" --run
+ local run=
+ if $runtest
+ then
+ run=--run
+ fi
+ $hideok sp-codegen "$1" --output "$2" $run
}
docgen() {