it doesn't show anymore, seems to have been stochastic so let's forget about it for now
Dimitris Symeonidis "If you think you're too small to make a difference, try sleeping with a mosquito!" - Amnesty International On Fri, Oct 10, 2008 at 11:40, Jim Watson <[EMAIL PROTECTED]> wrote: > On Fri, 2008-10-10 at 20:17 +1100, Jim Watson wrote: >> On Fri, 2008-10-10 at 10:47 +0200, Dimitris Symeonidis wrote: >> > checking for a sed that does not truncate output... ./configure: line >> > 6695: echo: write error: Broken pipe >> > /bin/sed >> >> Error not seen here: >> checking for a sed that does not truncate output... /bin/sed >> checking for fgrep... /bin/grep -F >> >> > i'm on ubuntu intrepid beta, sed is 4.1.5-8 >> > >> >> me too >> >> [EMAIL PROTECTED]:~/gnuradio$ dpkg -s sed | grep 4.1.5 >> Version: 4.1.5-8 >> >> [EMAIL PROTECTED]:~/gnuradio$ svn up >> At revision 9766. > > > I eventually wondered why is it different here...? > So I made a complete fresh checkout, and now there it is: > checking for rm... /bin/rm > checking for a sed that does not truncate output... ./configure: line > 6695: ech > /bin/sed > checking for fgrep... /bin/grep -F > > jim > > _______________________________________________ Discuss-gnuradio mailing list [email protected] http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
