- wget creates 0-size files, get rid of them

[packages/rpm-build-tools.git] / pldnotify.awk

diff --git a/pldnotify.awk b/pldnotify.awk
index 667df06f592d39038b034d0f5943a73fa4b170f3..f6fbd5bd7b90a2d9e5366c86587a622cc336887f 100644 (file)
--- a/pldnotify.awk
+++ b/pldnotify.awk
@@ -16,6 +16,8 @@ function compare_ver(v1,v2) {
                v2=(substr(v2,1,RSTART) "." substr(v2,RSTART+RLENGTH-1))
        sub("^0*","",v1)
        sub("^0*","",v2)
+       gsub("\.0*",".",v1)
+       gsub("\.0*",".",v2)
        if (DEBUG) print "v1 == " v1
        if (DEBUG) print "v2 == " v2
        count=split(v1,v1a,"\.")
@@ -64,7 +66,7 @@ function compare_ver(v1,v2) {
 }
 
 function compare_ver_dec(v1,v2) {
-# compares version numbers
+# compares version numbers as decimal floats
        while (match(v1,/[0-9][a-zA-Z]/))
                v1=(substr(v1,1,RSTART) "." substr(v1,RSTART+RLENGTH-1))
        while (match(v2,/[0-9][a-zA-Z]/))