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 pip
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