summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorKevin Clark <kevin.clark@gmail.com>2020-11-27 20:32:51 -0800
committerKevin Clark <kevin.clark@gmail.com>2020-11-27 20:32:51 -0800
commitf72e60c12a825f30cf25c585c7876fce1c99099d (patch)
tree1ea040c12152ce94a6a8b1116eae0972ea45d7ba /test
parent1365dce921c1fb84a668ae121d5d5aeebef99fbc (diff)
downloadale-f72e60c12a825f30cf25c585c7876fce1c99099d.zip
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.
Diffstat (limited to 'test')
-rwxr-xr-xtest/script/check-supported-tools-tables4
-rwxr-xr-xtest/script/custom-checks4
2 files changed, 5 insertions, 3 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables
index f4305707..5817de99 100755
--- a/test/script/check-supported-tools-tables
+++ b/test/script/check-supported-tools-tables
@@ -22,7 +22,7 @@ done < <(
grep '^\*\|^ *\*' doc/ale-supported-languages-and-tools.txt \
| sed -e '1,2d' \
| sed 's/^\* */!/' \
- | sed 's/^ *\* *\|!!\|\^\|(.*)\|`//g' \
+ | sed -E 's/^ *\* *|!!|\^|(.*)|`//g' \
| sed 's/ *$//'
) > "$doc_file"
@@ -36,7 +36,7 @@ while read -r; do
done < <(
grep '^\*\|^ *\*' supported-tools.md \
| sed 's/^\* */!/' \
- | sed 's/^ *\* *\|:floppy_disk:\|:warning:\|(.*)\|\[\|\].*\|-n flag//g' \
+ | sed -E 's/^ *\* *|:floppy_disk:|:warning:|\(.*\)|\[|\].*|-n flag//g' \
| sed 's/ *$//'
) > "$readme_file"
diff --git a/test/script/custom-checks b/test/script/custom-checks
index ca9069e4..63d39906 100755
--- a/test/script/custom-checks
+++ b/test/script/custom-checks
@@ -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'