blob: 624837e19dcb85a2655815a85fb954629dfb0b72 [file] [log] [blame]
#!/bin/bash
set -euo pipefail
err=0
warn() {
(( ++err ))
echo
echo "WARNING: $1."
echo "See file below for more details."
echo
echo "$2:"
cat "$2"
echo
}
cd "$1"
grep -q '100%' 'libkmod-undocumented.txt' || warn 'Some APIs are missing documentation' 'libkmod-undocumented.txt'
(( $(wc -l < 'libkmod-unused.txt') == 0)) || warn 'APIs are missing from the libkmod-section.txt index' 'libkmod-unused.txt'
exit "$err"