diff options
| author | Chris Wilson <chris@chris-wilson.co.uk> | 2010-09-02 13:19:26 +0100 |
|---|---|---|
| committer | Chris Wilson <chris@chris-wilson.co.uk> | 2010-09-06 13:11:22 +0100 |
| commit | 21a2f90cdef3d592c1d1614852fe3929ed2aa765 (patch) | |
| tree | ef595bae967aca9cb2a0a1c67726fecff95060a7 /doc/public | |
| parent | 8258532794d0579f6c1b825b8cfb9c8f7ced4369 (diff) | |
check: Make the actual error stand out
Diffstat (limited to 'doc/public')
| -rwxr-xr-x | doc/public/check-doc-coverage.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/public/check-doc-coverage.sh b/doc/public/check-doc-coverage.sh index 1cf051b1..68dd704a 100755 --- a/doc/public/check-doc-coverage.sh +++ b/doc/public/check-doc-coverage.sh @@ -23,7 +23,7 @@ stat=0 if test -f "$DOC_MODULE-undeclared.txt"; then undeclared=`cat "$DOC_MODULE-undeclared.txt"` if test -n "$undeclared"; then - echo Undeclared documentation symbols: 1>&2 + echo "*** ERROR: Undeclared documentation symbols:" 1>&2 cat "$DOC_MODULE-undeclared.txt" 1>&2 stat=1 fi @@ -31,7 +31,7 @@ fi >&2 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 + echo "*** ERROR: Unused documentated symbols:" 1>&2 cat "$DOC_MODULE-unused.txt" 1>&2 stat=1 fi @@ -41,7 +41,7 @@ if test -f "$DOC_MODULE-undocumented.txt"; then grep '^0 not documented' "$DOC_MODULE-undocumented.txt" >/dev/null; then : else - echo Incomplete or undocumented symbols: 1>&2 + echo "*** ERROR: Incomplete or undocumented symbols:" 1>&2 cat "$DOC_MODULE-undocumented.txt" 1>&2 stat=1 fi |