diff options
author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-12-29 18:01:58 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-29 18:01:58 +1100 |
commit | 6c7789fa9f57bcf6a7fd516b45748f972a27bade (patch) | |
tree | 052b4ec97e419e9995830f003cbe0f01b38081ea /dejagnu | |
parent | 6ccb10558e84eca592742a415f64bb6719565875 (diff) |
* dejagnu: Avoid use of semicolon as sed(1) command separator.
POSIX does not clearly require sed(1) to support that feature.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'dejagnu')
-rwxr-xr-x | dejagnu | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -402,7 +402,7 @@ if $want_help ; then exit 2 fi help_prefix_pat=$(grep '#help' "$help_file" \ - | sed 's/#help.*$//;1q' | tr '[:print:][:blank:]' .) + | sed -e 's/#help.*$//' -e '1q' | tr '[:print:][:blank:]' .) if expr "$verbose" \> 1 > /dev/null ; then echo Extracting help from "'$help_file'" with prefix "'$help_prefix_pat'" fi |