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