diff options
| author | Eddie Lebow <elebow@users.noreply.github.com> | 2019-08-13 02:04:48 -0400 |
|---|---|---|
| committer | Eddie Lebow <elebow@users.noreply.github.com> | 2019-08-13 21:30:13 -0400 |
| commit | 74a43755c6ecc72a33c189d8a50cf594d18f882e (patch) | |
| tree | 4f060420aba3f396484ac4b4af6937aeaed494be /test/script/custom-checks | |
| parent | 28c93ab1854ef41a46855401cc4addbaf7dfb9d4 (diff) | |
| download | ale-74a43755c6ecc72a33c189d8a50cf594d18f882e.zip | |
Update test docs and output for linter tables checked
This makes some of the run-test output less misleading.
Also fix a minor shellcheck issue: "\*" and "\\*" are equivalent, but
the second one makes clear that the literal backslash is intentional.
Diffstat (limited to 'test/script/custom-checks')
| -rwxr-xr-x | test/script/custom-checks | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/script/custom-checks b/test/script/custom-checks index 20dbfb80..ca9069e4 100755 --- a/test/script/custom-checks +++ b/test/script/custom-checks @@ -36,12 +36,12 @@ tag_regex='[gb]\?:\?\(ale\|ALE\)[a-zA-Z_\-]\+' # Grep for tags and references, and complain if we find a reference without # a tag for the reference. Only our tags will be included. diff -u \ - <(grep --exclude=tags -roh "\*$tag_regex\*" doc | sort -u | sed 's/*//g') \ + <(grep --exclude=tags -roh "\\*$tag_regex\\*" doc | sort -u | sed 's/*//g') \ <(grep --exclude=tags -roh "|$tag_regex|" doc | sort -u | sed 's/|//g') \ | grep '^+[^+]' && exit_code=1 echo '========================================' -echo 'diff README.md and doc/ale.txt tables' +echo 'diff supported-tools.md and doc/ale-supported-languages-and-tools.txt tables' echo '========================================' echo 'Differences follow:' echo |