From 1b97c8a3b0aa01ec27c2382cfcacc2c407297b80 Mon Sep 17 00:00:00 2001
From: PHO <pho@cielonegro.org>
Date: Thu, 21 Jun 2012 13:42:00 +0900
Subject: [PATCH] ./Build check [ARGS...]

---
 src/main.bash | 31 +++++++++++++++++++------------
 1 file changed, 19 insertions(+), 12 deletions(-)

diff --git a/src/main.bash b/src/main.bash
index 1bb450c..32a49d9 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,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 "$@"
-- 
2.40.0