diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-10-11 23:13:45 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-10-11 23:13:45 (EDT) |
| commit | 8dc1c9a78f9b938cc5ea35a9fe0aaf9f2d76f68b (patch) | |
| tree | 157ae35cee4c66e6eb32bb7987e89ee74361051c | |
| parent | 7ae90a0bacbfbbd4c3bc9d716b7f52e2e90e07fe (diff) | |
pro-archman: Don't print help when -V is given.
| -rw-r--r-- | src/pro-archman.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pro-archman.sh b/src/pro-archman.sh index 8df75f1..93fa4b5 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -94,7 +94,7 @@ main() get_options "${@}" shift $(($OPTIND - 1)) - if [ ${#} -lt 1 ]; then + if [ ${#} -lt 1 ] && [ "x${opt_cmd}" = 'x' ]; then cmd_help_main >&2 exit 1 fi |