summaryrefslogtreecommitdiff
path: root/Tools/scripts/doportlint
diff options
context:
space:
mode:
authorJoe Marcus Clarke <marcus@FreeBSD.org>2004-01-19 22:35:58 +0000
committerJoe Marcus Clarke <marcus@FreeBSD.org>2004-01-19 22:35:58 +0000
commit83c1f7ffe238de4533e809e110be2202a658be2b (patch)
treee3d577dcb612fbafdc84b1f47a7a4d18bfa96499 /Tools/scripts/doportlint
parent- update to version 2.6.0 (diff)
Add domakedescribe and doportlint, two scripts that iterate over the ports
tree, and run "make describe" and portlint respectively. They can be useful as automated linting tools. PR: 59226 Submitted by: linimon
Diffstat (limited to 'Tools/scripts/doportlint')
-rwxr-xr-xTools/scripts/doportlint20
1 files changed, 20 insertions, 0 deletions
diff --git a/Tools/scripts/doportlint b/Tools/scripts/doportlint
new file mode 100755
index 000000000000..0de9bd4a7570
--- /dev/null
+++ b/Tools/scripts/doportlint
@@ -0,0 +1,20 @@
+#!/bin/sh
+#
+indexfile=/usr/ports/INDEX
+tmpfile=/tmp/portlint.tmp
+#
+failures=0
+for i in `sed -e "s/ /_/g" ${indexfile}`; do
+ set $(echo $i | tr \| " ")
+ port=$2
+ cd ${port}
+ portlint > ${tmpfile} 2> /dev/null || failures=$((${failures}+1))
+ grep '^looks fine\.$' ${tmpfile} > /dev/null 2> /dev/null || \
+ { echo '--------------- portlint results for '${port}; \
+ grep -v '^OK:' ${tmpfile} |\
+ sed -e 's/^0 fatal errors and //'; }
+ rm -f ${tmpfile}
+done
+echo '---------------'
+echo 'number of ports with fatal errors in portlint: '${failures}
+exit ${failures}