New subcommand: "--"

diff --git a/src/main.bash b/src/main.bash
index d9663fed75c1a919b95007d88655b3aeee9b562e..4b7f67ecde80f89db2781521f325534bbc42339f 100644 (file)
--- a/src/main.bash
+++ b/src/main.bash
@@ -58,6 +58,10 @@ function install () {
     runMake -C "_build" install "$@"
 }
 
+function other () {
+    runMake -C "_build" "$@"
+}
+
 function usage () {
     cat <<EOF >&2
 Usage: $0 [COMMAND]
@@ -70,7 +74,7 @@ If no COMMAND is given, it defaults to "build".
 
 Commands:
     build          run "$0 configure" then make(1)
-    check [ARG]    run "$0 build" then "make check [ARG]"
+    check [ARGS]   run "$0 build" then "make check [ARGS]"
     autogen        run autoreconf(1)
     configure      run "$0 autogen" and "./configure" if necessary
     clean          run "rm -rf _build"
@@ -78,7 +82,8 @@ Commands:
     distcheck      run "$0 configure" then "make distcheck"
     doc            similar to "$0 build" but only build the documentation
     help           print this message
-    install [ARG]  run "$0 build" then "make install [ARG]"
+    install [ARGS] run "$0 build" then "make install [ARGS]"
+    -- [ARGS]      run "make [ARGS]"
 
 Please report any bugs, feature requests, and pull requests (the most
 preferred!) to the maintainer presented in the preamble of the "$0" itself.
@@ -99,6 +104,7 @@ function main () {
         "distcheck") cmd="distcheck";;
         "help"     ) cmd="usage"    ;;
         "install"  ) cmd="install"  ;;
+        "--"       ) cmd="other"    ;;
         *)           cmd="usage"    ;;
     esac
     if (( $# > 0 )); then