./Build check [ARGS...]

diff --git a/src/main.bash b/src/main.bash
index 1bb450c91a008205deb9cb0628573590139901c2..32a49d9e0aa551e42e72311e829c74a0cde3519d 100644 (file)
--- a/src/main.bash
+++ b/src/main.bash
@@ -32,7 +32,7 @@ function doc () {
 
 function check () {
     build
-    runMake -C "_build" check
+    runMake -C "_build" check "$@"
 }
 
 function clean () {
@@ -49,14 +49,21 @@ function install () {
     runMake -C "_build" install
 }
 
-case "$1" in
-    ""|"build") build  ;;
-    "doc"     ) doc    ;;
-    "check"   ) check  ;;
-    "clean"   ) clean  ;;
-    "dist"    ) dist   ;;
-    "install" ) install;;
-    *)
-        echo "Usage: $0 [build | doc | check | clean | dist | install]" >&2
-        exit 1
-esac
+function main () {
+    local cmd
+    case "$1" in
+        ""|"build") cmd=build  ;;
+        "doc"     ) cmd=doc    ;;
+        "check"   ) cmd=check  ;;
+        "clean"   ) cmd=clean  ;;
+        "dist"    ) cmd=dist   ;;
+        "install" ) cmd=install;;
+        *)
+            echo "Usage: $0 [build | doc | check | clean | dist | install]" >&2
+            exit 1
+    esac
+    shift
+    "$cmd" "$@"
+}
+
+main "$@"