From 411c6b5e9f8ecf367aaf487adf4e380251c44fa1 Mon Sep 17 00:00:00 2001 From: w0rp Date: Thu, 29 Jun 2017 12:55:00 +0100 Subject: Fix #707 - Fix some duplicate tags, and add some code to check for them --- run-tests | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'run-tests') diff --git a/run-tests b/run-tests index 4ee6f892..92dca319 100755 --- a/run-tests +++ b/run-tests @@ -194,6 +194,14 @@ if ((run_custom_checks)); then docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$? set +o pipefail echo + + echo '========================================' + echo 'Checking for duplicate tags' + echo '========================================' + echo 'Duplicate tags follow:' + echo + + grep --exclude=tags -roh '\*.*\*$' doc | sort | uniq -d || EXIT=$? fi exit $EXIT -- cgit v1.2.3