Checking for sed... spurrious output ?

[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 add your hardware and software distinctiveness to
  `-our own. Resistance is futile.

 


___
Autoconf mailing list
Autoconf@gnu.org
http://lists.gnu.org/mailman/listinfo/autoconf

Re: Checking for sed... spurrious output ?

[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 ?

No.  It is not universally visible because only some shells don't
suppress it (some bash version IIRC).  Newer Autoconf has been fixed
pipe it to /dev/null.  The error is harmless here, though.

Cheers,
Ralf


___
Autoconf mailing list
Autoconf@gnu.org
http://lists.gnu.org/mailman/listinfo/autoconf