]> Frank Brehm's Git Trees - pixelpark/pp-admin-tools.git/commitdiff
Fixing scripts/get-module-version
authorFrank Brehm <frank@brehm-online.com>
Tue, 23 May 2023 14:27:15 +0000 (16:27 +0200)
committerFrank Brehm <frank@brehm-online.com>
Tue, 23 May 2023 14:27:15 +0000 (16:27 +0200)
scripts/get-module-version

index 07df467e71b412dd76e5240e99b7adef2eed5724..9d19cb10eaa140966377052d4e2843f049546f65 100755 (executable)
@@ -124,7 +124,9 @@ get_options() {
 
     local mod
     for mod in "${REMAINING_ARGS[@]}" ; do
-        MODULES+=( "${mod}" )
+        if [[ "${mod}" != "--" ]] ; then
+            MODULES+=( "${mod}" )
+        fi
     done
 
     if [[ "${DEBUG}" == 'y' ]] ; then