From 155ac0a86d83082da872338487337bd663c7941d Mon Sep 17 00:00:00 2001 From: Jakub Bogusz Date: Sat, 25 Dec 2004 14:33:05 +0000 Subject: [PATCH] - skip .built files Changed files: pldnotify.awk -> 1.45 --- pldnotify.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pldnotify.awk b/pldnotify.awk index 7c49c8d..cff5cc6 100644 --- a/pldnotify.awk +++ b/pldnotify.awk @@ -305,7 +305,7 @@ function process_source(number,lurl,name,version) { newfilename=fixedsub(prever,"",newfilename) newfilename=fixedsub(postver,"",newfilename) if (DEBUG) print "Wersja: " newfilename - if (newfilename ~ /\.(pkg|bin|binary)$/) continue + if (newfilename ~ /\.(pkg|bin|binary|built)$/) continue if (NUMERIC) { if ( compare_ver_dec(version, newfilename)==1 ) { if (DEBUG) print "Tak, jest nowa" -- 2.44.0