wget 1.13.3 returns exit status 3 for --help; allow that

Changed files:
    pldnotify.awk -> 1.100

diff --git a/pldnotify.awk b/pldnotify.awk
index fa19fb70ae19655d10eca2fe290731d9cf1f9cd7..265a7687b7bdd785827e8e1f42d4fd287cd76424 100644 (file)
--- 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
        }