Commit 637d878891dc38831359689898a1deef412e2ece

Bruno Haible 2006-12-22T12:49:38

Use "sed --posix" instead of "sed" when possible.