diff options
author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2004-01-19 22:35:58 +0000 |
---|---|---|
committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2004-01-19 22:35:58 +0000 |
commit | 83c1f7ffe238de4533e809e110be2202a658be2b (patch) | |
tree | e3d577dcb612fbafdc84b1f47a7a4d18bfa96499 /Tools | |
parent | 35f94823a925c3ecbcef02cb0251009202cadd72 (diff) | |
download | ports-83c1f7ffe238de4533e809e110be2202a658be2b.tar.gz ports-83c1f7ffe238de4533e809e110be2202a658be2b.zip |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/domakedescribe | 19 | ||||
-rwxr-xr-x | Tools/scripts/doportlint | 20 |
2 files changed, 39 insertions, 0 deletions
diff --git a/Tools/scripts/domakedescribe b/Tools/scripts/domakedescribe new file mode 100755 index 000000000000..d45a6cecfd16 --- /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 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} |