summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorP. 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)
commit8dc1c9a78f9b938cc5ea35a9fe0aaf9f2d76f68b (patch)
tree157ae35cee4c66e6eb32bb7987e89ee74361051c /src
parent7ae90a0bacbfbbd4c3bc9d716b7f52e2e90e07fe (diff)
pro-archman: Don't print help when -V is given.
Diffstat (limited to 'src')
-rw-r--r--src/pro-archman.sh2
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