diff options
Diffstat (limited to 'test/script/check-tag-references')
| -rwxr-xr-x | test/script/check-tag-references | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/test/script/check-tag-references b/test/script/check-tag-references index 45e741fb..5f17618e 100755 --- a/test/script/check-tag-references +++ b/test/script/check-tag-references @@ -7,16 +7,24 @@ tag_regex='[gb]\?:\?\(ale\|ALE\)[a-zA-Z_\-]\+' tags="$(mktemp -t tags.XXXXXXXX)" refs="$(mktemp -t refs.XXXXXXXX)" +result="$(mktemp -t refs.XXXXXXXX)" # Grep for tags and references, and complain if we find a reference without # a tag for the reference. Only our tags will be included. grep --exclude=tags -roh "\\*$tag_regex\\*" doc | sed 's/*//g' | sort -u > "$tags" grep --exclude=tags -roh "|$tag_regex|" doc | sed 's/|//g' | sort -u > "$refs" +# Collect tags in a file we can display to the user if there are differences. +comm -23 "$refs" "$tags" > "$result" + exit_code=0 -if ! [[ $(comm -23 $refs $tags | wc -l) -eq 0 ]]; then - exit_code=1 +# If there are differences, show them and error out. +if ! [[ $(wc -l < "$result") -eq 0 ]]; then + cat "$result" + exit_code=1 fi rm "$tags" rm "$refs" +rm "$result" +exit $exit_code |