Use "sed --posix" instead of "sed" when possible.
authorBruno Haible <bruno@clisp.org>
Fri, 22 Dec 2006 12:49:38 +0000 (12:49 +0000)
committerBruno Haible <bruno@clisp.org>
Fri, 22 Dec 2006 12:49:38 +0000 (12:49 +0000)
commit637d878891dc38831359689898a1deef412e2ece
tree29033276400cde90ae0207e74d76b6fd3146bc35
parent116d720a66733ae00aad3b6b0e7e3ec3aab17fa1
Use "sed --posix" instead of "sed" when possible.
ChangeLog
gnulib-tool