Fix check-supported-tools-tables check

sed wasn't using -E, so '|' wasn't being handled properly. Seems likely
that's sed-implementation specific, so now it runs through docker's sed
to support portability.
This commit is contained in:
Kevin Clark
2020-11-27 20:32:51 -08:00
parent 1365dce921
commit f72e60c12a
2 changed files with 5 additions and 3 deletions

View File

@@ -46,7 +46,9 @@ echo '========================================'
echo 'Differences follow:'
echo
test/script/check-supported-tools-tables || exit_code=$?
set -o pipefail
docker run "${docker_flags[@]}" test/script/check-supported-tools-tables || exit_code=$?
set +o pipefail
echo '========================================'
echo 'Look for badly aligned doc tags'