diff options
| author | Chris Wilson <chris@chris-wilson.co.uk> | 2012-04-29 13:18:43 +0100 |
|---|---|---|
| committer | Chris Wilson <chris@chris-wilson.co.uk> | 2012-04-29 19:29:12 +0100 |
| commit | c16cdf0b4e2bada9b955111886eb7c9cb3878994 (patch) | |
| tree | 00bdf9242ddefa5bcd8a986c2836cb60eba09d01 /src | |
| parent | a1d4f416e403359b713f6d10d557a190458bbb16 (diff) | |
check-doc-syntax: Fix handling of return value in make check
Diffstat (limited to 'src')
| -rwxr-xr-x | src/check-doc-syntax.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/check-doc-syntax.sh b/src/check-doc-syntax.sh index 570b9d9a..e566a6ea 100755 --- a/src/check-doc-syntax.sh +++ b/src/check-doc-syntax.sh @@ -71,6 +71,8 @@ if echo $FILES | xargs grep "$note_regexp" /dev/null; then fi >&2 if echo $FILES | xargs ./check-doc-syntax.awk ; then + : +else stat=1 fi >&2 |