mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-27 00:57:50 +00:00
83c1f7ffe2
tree, and run "make describe" and portlint respectively. They can be useful as automated linting tools. PR: 59226 Submitted by: linimon
21 lines
567 B
Bash
Executable File
21 lines
567 B
Bash
Executable File
#!/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}
|