diff options
| -rw-r--r-- | support/scripts/version-manager.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/scripts/version-manager.sh b/support/scripts/version-manager.sh index 8a0ce12df1..73dce19ce4 100644 --- a/support/scripts/version-manager.sh +++ b/support/scripts/version-manager.sh @@ -68,7 +68,7 @@ function version-manager() { args-loop "$@"; # get file name and command name - [ ${#args[0]} -ge 2 ] || { $program-usage 1>&2; exit 1; } + [ ${#args[@]} -ge 2 ] || { $program-usage 1>&2; exit 1; } local file="${args[0]}"; local command="${args[1]}"; |