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
