coverage.sh: indicate what file exceeded maximum line length

This commit is contained in:
Johannes Schauer Marin Rodrigues 2025-03-09 11:02:00 +01:00
parent 59e5870e7b
commit 712fdcf1ab
Signed by: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -26,7 +26,7 @@ if [ -e "$MMSCRIPT" ]; then
rm "$TMPFILE"
if [ "$(sed -e '/^__END__$/,$d' "$MMSCRIPT" | wc --max-line-length)" -gt 79 ]; then
echo "exceeded maximum line length of 79 characters" >&2
echo "$MMSCRIPT exceeded maximum line length of 79 characters" >&2
exit 1
fi