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/check-supported-tools-tables | |
| 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/check-supported-tools-tables')
| -rwxr-xr-x | test/script/check-supported-tools-tables | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 65270029..f4305707 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -3,8 +3,9 @@ set -e set -u -# This script compares the table of supported tools in both the README file -# and the doc/ale.txt file, so we can complain if they don't match up. +# This script compares the table of supported tools in both supported-tools.md +# (for GitHub) and doc/ale-supported-languages-and-tools.txt (for vim), so we +# can complain if they don't match up. doc_file="$(mktemp -t doc.XXXXXXXX)" doc_sorted_file="$(mktemp -t doc-sorted.XXXXXXXX)" |