From 8e3c1dbd11bb402f6f5b6254b77eb98c67340119 Mon Sep 17 00:00:00 2001 From: w0rp Date: Mon, 28 Aug 2017 22:05:12 +0100 Subject: Fix - #883 Document linting behavior better, sync up the lists of supported tools, andautomatically demand that they stay in sync --- run-tests | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'run-tests') 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 -- cgit v1.2.3