bugfix

diff --git a/src/main.bash b/src/main.bash
index 32a49d9e0aa551e42e72311e829c74a0cde3519d..6c0b3c491e1087f2dd85983eb615eb1fb5e0ffa6 100644 (file)
--- a/src/main.bash
+++ b/src/main.bash
@@ -62,7 +62,9 @@ function main () {
             echo "Usage: $0 [build | doc | check | clean | dist | install]" >&2
             exit 1
     esac
-    shift
+    if (( $# > 0 )); then
+        shift
+    fi
     "$cmd" "$@"
 }