mirror of
https://github.com/dense-analysis/ale.git
synced 2026-01-09 13:02:28 +08:00
Fix - #883 Document linting behavior better, sync up the lists of supported tools, andautomatically demand that they stay in sync
This commit is contained in:
@@ -235,6 +235,14 @@ if ((run_custom_checks)); then
|
||||
<(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=1
|
||||
|
||||
echo '========================================'
|
||||
echo 'diff README.md and doc/ale.txt tables'
|
||||
echo '========================================'
|
||||
echo 'Differences follow:'
|
||||
echo
|
||||
|
||||
./check-supported-tools-tables || EXIT=$?
|
||||
fi
|
||||
|
||||
exit $EXIT
|
||||
|
||||
Reference in New Issue
Block a user