diff options
Diffstat (limited to 'devel/portlint/patches/patch-ab')
| -rw-r--r-- | devel/portlint/patches/patch-ab | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/devel/portlint/patches/patch-ab b/devel/portlint/patches/patch-ab new file mode 100644 index 00000000000..3abeb22f2a7 --- /dev/null +++ b/devel/portlint/patches/patch-ab @@ -0,0 +1,33 @@ +--- lintpkgsrc.sh-orig Sat Apr 25 13:37:27 1998 ++++ lintpkgsrc.sh Sat Apr 25 13:36:10 1998 +@@ -0,0 +1,30 @@ ++#!/bin/sh ++ ++PORTLINT=@PREFIX@/bin/portlint ++PORTLINTFLAGS="-a -b -c -v" ++ ++cd @PORTSDIR@ ++for i in * ++do ++ if [ -d $i/. -a $i != distfiles -a $i != packages ]; then ++ cd $i ++ for j in * ++ do ++ if [ -d $j/. -a $j != "CVS" -a $j != "pkg" ]; then ++ ${PORTLINT} ${PORTLINTFLAGS} $j \ ++ | grep -v '^OK' \ ++ | grep -v '^WARN: be sure to cleanup .*/work before committing the port' \ ++ | grep -v '^WARN: is it a new port' \ ++ >tmp$$ ++ if [ `cat tmp$$ | wc -l` -gt 1 ]; then ++ echo "" ++ echo "===> $i/$j" ++ echo ${PORTLINT} ${PORTLINTFLAGS} $j ++ cat tmp$$ ++ fi ++ rm -f tmp$$ ++ fi ++ done ++ cd .. ++ fi ++done |