check: Make the actual error stand out

git-mirror · Sep 6, 2010 · 21a2f90 · 21a2f90
1 parent 8258532
commit 21a2f90
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/public/check-doc-coverage.sh b/doc/public/check-doc-coverage.sh
@@ -23,15 +23,15 @@ 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
 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