diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2012-04-29 13:21:36 +0100 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2012-04-29 19:29:12 +0100 |
commit | ed90616b7757087154d1c191858444ecc9188935 (patch) | |
tree | 09a1b9001a0a46ca16076e8dfc5702990cdeba06 /src | |
parent | c16cdf0b4e2bada9b955111886eb7c9cb3878994 (diff) |
check-doc-syntax: Only parse the source files for incorrect tags
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Diffstat (limited to 'src')
-rwxr-xr-x | src/check-doc-syntax.sh | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/check-doc-syntax.sh b/src/check-doc-syntax.sh index e566a6ea..bfda7a20 100755 --- a/src/check-doc-syntax.sh +++ b/src/check-doc-syntax.sh @@ -70,10 +70,13 @@ if echo $FILES | xargs grep "$note_regexp" /dev/null; then echo Be civil and replace it by 'Note' please. fi >&2 -if echo $FILES | xargs ./check-doc-syntax.awk ; then - : -else - stat=1 -fi >&2 +# Only run the syntax checker on the source files (not doc/) +if -e ./check-doc-syntax.awk; then + if echo $FILES | xargs ./check-doc-syntax.awk ; then + : + else + stat=1 + fi >&2 +fi exit $stat |