X-Git-Url: http://git.cielonegro.org/gitweb.cgi?a=blobdiff_plain;f=src%2Fmain.bash;h=6c0b3c491e1087f2dd85983eb615eb1fb5e0ffa6;hb=4f3b020ed7d20ac4e6598f53030b9f544b408e31;hp=1bb450c91a008205deb9cb0628573590139901c2;hpb=46be632798ce01a88e99099a3eb8789bad087b18;p=autobuild.git

diff --git a/src/main.bash b/src/main.bash
index 1bb450c..6c0b3c4 100644
--- 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,23 @@ 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
+    if (( $# > 0 )); then
+        shift
+    fi
+    "$cmd" "$@"
+}
+
+main "$@"