Attempt to avoid error messages like "echo: write error: Broken pipe".
authorBruno Haible <bruno@clisp.org>
Sat, 30 Aug 2008 23:39:56 +0000 (01:39 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 30 Aug 2008 23:39:56 +0000 (01:39 +0200)
commit647cde357c42d2b2a02e8055b79d7479e17fce2a
tree9ff44f11147a9504f000cbd92ab079948014087f
parentdcf49e35108a6a1897f15090e22dcd9763872292
Attempt to avoid error messages like "echo: write error: Broken pipe".
ChangeLog
gnulib-tool