diff options
-rwxr-xr-x | xlint | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/xlint b/xlint index 314dff1..a3eef1a 100755 --- a/xlint +++ b/xlint @@ -4,8 +4,7 @@ scan() { local rx="$1" msg="$2" grep -P -Hn -e "$rx" "$template" | - sed "s/^\([^:]*:[^:]*:\)\(.*\)/\1 $msg/" | - grep . && ret=1 + sed "s/^\([^:]*:[^:]*:\)\(.*\)/\1 $msg/" } once() { @@ -122,6 +121,6 @@ for template; do scan 'distfiles=.*ftp\.mozilla\.org' 'use $MOZILLA_SITE' scan 'distfiles=.*ftp\.gnu\.org/(pub/)?gnu' 'use $GNU_SITE' scan 'distfiles=.*freedesktop\.org/software' 'use $FREEDESKTOP_SITE' - } | sort -t: -n -k2 + } | sort -t: -n -k2 | grep . && ret=1 done exit $ret |