diff options
author | Arkadiusz Miśkiewicz | 2011-09-04 18:38:00 (GMT) |
---|---|---|
committer | Arkadiusz Miśkiewicz | 2011-09-04 18:38:00 (GMT) |
commit | 0bfba105d0a814967e9147bced0903a0886ed86b (patch) | |
tree | 1b1c6178231c7e024f82aca0cf1ee9a3ff267266 | |
parent | 7671a1db0cfeb85371fae02b3409294b0ecf5421 (diff) | |
download | pldnotify-0bfba105d0a814967e9147bced0903a0886ed86b.zip pldnotify-0bfba105d0a814967e9147bced0903a0886ed86b.tar.gz |
wget 1.13.3 returns exit status 3 for --help; allow that
Changed files:
pldnotify.awk -> 1.100
-rw-r--r-- | pldnotify.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pldnotify.awk b/pldnotify.awk index fa19fb7..265a768 100644 --- a/pldnotify.awk +++ b/pldnotify.awk @@ -655,7 +655,7 @@ BEGIN { # DEBUG = 1 errno=system("wget --help > /dev/null 2>&1") - if (errno) { + if (errno && errno != 3) { print "No wget installed!" exit 1 } |