From e81aa79e4a512696f031d8878ef6c35f0aa32382 Mon Sep 17 00:00:00 2001 From: marcus Date: Mon, 19 Jan 2004 22:35:58 +0000 Subject: 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 --- Tools/scripts/domakedescribe | 19 +++++++++++++++++++ Tools/scripts/doportlint | 20 ++++++++++++++++++++ 2 files changed, 39 insertions(+) create mode 100755 Tools/scripts/domakedescribe create mode 100755 Tools/scripts/doportlint (limited to 'Tools') diff --git a/Tools/scripts/domakedescribe b/Tools/scripts/domakedescribe new file mode 100755 index 0000000..d45a6ce --- /dev/null +++ b/Tools/scripts/domakedescribe @@ -0,0 +1,19 @@ +#!/bin/sh +# +indexfile=/usr/ports/INDEX +tmpfile=/tmp/makedescribe.tmp +# +failures=0 +for i in `sed -e "s/ /_/g" ${indexfile}`; do + set $(echo $i | tr \| " ") + port=$2 + cd ${port} + make describe > /dev/null 2> ${tmpfile} || \ + { failures=$(($failures+1)); \ + echo '--------------- make describe failed for '${port}':'; \ + cat ${tmpfile}; } + rm -f ${tmpfile} +done +echo '---------------' +echo 'Total number of ports that failed trying to build /usr/ports/INDEX: '${failures} +exit ${failures} diff --git a/Tools/scripts/doportlint b/Tools/scripts/doportlint new file mode 100755 index 0000000..0de9bd4 --- /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} -- cgit v1.1