diff options
| author | Javier Jardón <jjardon@gnome.org> | 2011-06-16 20:03:21 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2011-06-16 20:03:21 +0100 |
| commit | f895a8644b45dce0cce5d2005e53e4de67ec0041 (patch) | |
| tree | 1d0ff8ee4845720e4962f7f5af1b633e618551f2 | |
| parent | 6d1c98aed05ad10111c896708aca86436fc2328a (diff) | |
| download | pango-f895a8644b45dce0cce5d2005e53e4de67ec0041.tar.gz | |
Revert latest commit
This reverts commit 6d1c98aed05ad10111c896708aca86436fc2328a.
| -rwxr-xr-x | docs/check.docs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/docs/check.docs b/docs/check.docs index d6471dc9..1cf051b1 100755 --- a/docs/check.docs +++ b/docs/check.docs @@ -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 "*** ERROR: Undeclared documentation symbols:" 1>&2 + echo 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 "*** ERROR: Unused documentated symbols:" 1>&2 + echo Unused documentated symbols: 1>&2 cat "$DOC_MODULE-unused.txt" 1>&2 stat=1 fi @@ -41,8 +41,10 @@ if test -f "$DOC_MODULE-undocumented.txt"; then grep '^0 not documented' "$DOC_MODULE-undocumented.txt" >/dev/null; then : else - echo "*** ERROR: Incomplete or undocumented symbols:" 1>&2 + echo Incomplete or undocumented symbols: 1>&2 cat "$DOC_MODULE-undocumented.txt" 1>&2 stat=1 fi fi >&2 + +exit $stat |