diff options
author | Kevin Clark <kevin.clark@gmail.com> | 2020-11-27 20:32:51 -0800 |
---|---|---|
committer | Kevin Clark <kevin.clark@gmail.com> | 2020-11-27 20:32:51 -0800 |
commit | f72e60c12a825f30cf25c585c7876fce1c99099d (patch) | |
tree | 1ea040c12152ce94a6a8b1116eae0972ea45d7ba /test/script | |
parent | 1365dce921c1fb84a668ae121d5d5aeebef99fbc (diff) | |
download | ale-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/script')
-rwxr-xr-x | test/script/check-supported-tools-tables | 4 | ||||
-rwxr-xr-x | test/script/custom-checks | 4 |
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' |