Checking for sed... spurrious output ?

2008-12-02 Thread Michel Briand
Hello, my configure outputs this: checking for a sed that does not truncate output... ./configure: line 3764: echo: write error: Broken pipe /bin/sed Is it intended to have this broken pipe ? Michel -- .''`. : :' : We are debian.org. Lower your prices, surrender your code. `. `' We will

Re: Checking for sed... spurrious output ?

2008-12-02 Thread Ralf Wildenhues
Hello Michel, thanks for the report. * Michel Briand wrote on Tue, Dec 02, 2008 at 02:17:07AM CET: my configure outputs this: checking for a sed that does not truncate output... ./configure: line 3764: echo: write error: Broken pipe /bin/sed Is it intended to have this broken pipe ?