From 1e1758d57a44320d04066e5b1ec4ae8ed2945173 Mon Sep 17 00:00:00 2001 From: Frank Brehm Date: Tue, 23 May 2023 16:27:15 +0200 Subject: [PATCH] Fixing scripts/get-module-version --- scripts/get-module-version | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/get-module-version b/scripts/get-module-version index 07df467..9d19cb1 100755 --- a/scripts/get-module-version +++ b/scripts/get-module-version @@ -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 -- 2.39.5