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 /configure | |
parent | 6ccb10558e84eca592742a415f64bb6719565875 (diff) | |
download | dejagnu-6c7789fa9f57bcf6a7fd516b45748f972a27bade.zip dejagnu-6c7789fa9f57bcf6a7fd516b45748f972a27bade.tar.gz dejagnu-6c7789fa9f57bcf6a7fd516b45748f972a27bade.tar.bz2 |
* 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 'configure')
0 files changed, 0 insertions, 0 deletions