diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/check.docs | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/docs/check.docs b/docs/check.docs index cdc31628..986af6d8 100755 --- a/docs/check.docs +++ b/docs/check.docs @@ -23,17 +23,21 @@ fi status=0 -unused=`cat "$DOC_MODULE-unused.txt"` -if test -n "$unused"; then - echo Unused documentated symbols: 1>&2 - cat "$DOC_MODULE-unused.txt" 1>&2 - status=1 +if test -f "$DOC_MODULE-unused.txt"; then + unused=`cat "$DOC_MODULE-unused.txt"` + if test -n "$unused"; then + echo Unused documentated symbols: 1>&2 + cat "$DOC_MODULE-unused.txt" 1>&2 + status=1 + fi fi -if ! grep '^0 symbols incomplete' "$DOC_MODULE-undocumented.txt" >/dev/null || - ! grep '^0 not documented' "$DOC_MODULE-undocumented.txt" >/dev/null; then - echo Incomplete or undocumented symbols: 1>&2 - cat "$DOC_MODULE-undocumented.txt" 1>&2 - status=1 +if test -f "$DOC_MODULE-undocumented.txt"; then + if ! grep '^0 symbols incomplete' "$DOC_MODULE-undocumented.txt" >/dev/null || + ! grep '^0 not documented' "$DOC_MODULE-undocumented.txt" >/dev/null; then + echo Incomplete or undocumented symbols: 1>&2 + cat "$DOC_MODULE-undocumented.txt" 1>&2 + status=1 + fi fi exit $status |