diff options
| author | w0rp <devw0rp@gmail.com> | 2017-09-28 13:32:02 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-09-28 13:32:02 +0100 |
| commit | c989ef0fc69c6bfb702fd91ff9ea08d0759db691 (patch) | |
| tree | fc86d26e862920df94a17869089852ade0060e72 | |
| parent | 9fc01bd2469f7243f5147385783d59494e61a0df (diff) | |
| download | ale-c989ef0fc69c6bfb702fd91ff9ea08d0759db691.zip | |
Fix an issue with the check-supported-tools-tables script
| -rwxr-xr-x | test/script/check-supported-tools-tables | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 842d431b..1d0fec53 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -50,7 +50,7 @@ sed -n "$readme_start_line,$readme_end_line"p README.md \ | sed 's/ \?|/:/' \ | sed 's/[`!^|]\|([^)]*)//g' \ | sed 's/\[\|\]//g' \ - | sed 's/see.*\(,\|$\)/\1/g' \ + | sed 's/see[^,]*\(,\|$\)/\1/g' \ | sed 's/ *\([,:]\)/\1/g' \ | sed 's/ */ /g' \ | sed 's/^ *\| *$//g' \ |