Fix - #883 Document linting behavior better, sync up the lists of supported tools, andautomatically demand that they stay in sync

1 files changed, 8 insertions, 0 deletions

diff --git a/run-tests b/run-tests
index 316eb6c9..a2843580 100755
--- a/run-tests
+++ b/run-tests
@@ -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