diff options
| author | paltherr <paltherr@epfl.ch> | 2003-11-11 09:56:35 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-11-11 09:56:35 +0000 |
| commit | cc0c42132792495117f1b4faa0e3d76de053afa0 (patch) | |
| tree | ba087177fb2afadb8ba0f2f702aa7707e07827ce /support/scripts | |
| parent | 2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec (diff) | |
| download | scala-cc0c42132792495117f1b4faa0e3d76de053afa0.tar.gz scala-cc0c42132792495117f1b4faa0e3d76de053afa0.tar.bz2 scala-cc0c42132792495117f1b4faa0e3d76de053afa0.zip | |
- fixed typo
Diffstat (limited to 'support/scripts')
| -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]}"; |