Re: gnulib/gnulib-tool: line 1512: echo: write error: Broken pipe

[Sam Steingold]

Hi Bruno,

> * Bruno Haible <address@hidden> [2008-06-30 00:09:55 +0200]:
>
>> gnulib/gnulib-tool --import --source-base=src/gllib \
>>              --m4-base=src/glm4 --aux-dir=src/build-aux --no-changelog \
>>              stdint stdbool regex fnmatch-gnu havelib gettext localcharset \
>>              uniwidth/width streq uniname/uniname unitypes link-follow
>> gnulib/gnulib-tool: line 1512: echo: write error: Broken pipe
>
> Can you please show
>   - line 1512 of your copy of gnulib-tool? (The newest one reads
>       inmodules=`echo "$handledmodules" | LC_ALL=C join -v 2 - 
> "$tmp"/queued-modules`
>     and it looks improbable that 'join' would terminate before it has consumed
>     all its input.)

indeed, that is the line 1512 (as you know, Makefile.devel does "cvs up"
before running gnulib-tool).

>   - Your OS version,

$ uname -a
Linux loiso 2.6.22.7-57.fc6 #1 SMP Fri Sep 21 20:23:24 EDT 2007 i686 athlon 
i386 GNU/Linux

>   - the shell you are using (most probably: echo $BASH_VERSION).

$ echo $BASH_VERSION
3.2.33(1)-release


-- 
Sam Steingold (http://sds.podval.org/) on Fedora release 9 (Sulphur)
http://palestinefacts.org http://pmw.org.il http://truepeace.org
http://thereligionofpeace.com http://memri.org http://openvotingconsortium.org
Microsoft: announce yesterday, code today, think tomorrow.