Merge branch 'serve-files' into 'master'

Serve files

See merge request larswirzenius/ewww!7

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() {