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 Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
