Joey Hess <[EMAIL PROTECTED]> writes:

> Matej Vela wrote:
>> Can you still reproduce this?  It builds fine for me on current sid;
>> perhaps it was a bug in gawk...
>
> Still hangs for me in the same place, tried it on two machines, both
> with gawk 1:3.1.5-2.

I've extracted the gawk script and its input to

  http://people.debian.org/~vela/bug-347490.awk
  http://people.debian.org/~vela/bug-347490.in

What happens if you manually run

  gawk -v INFO=guide.info -f bug-347490.awk bug-347490.in > /dev/null

(For the record, it works for me(TM) on three machines.)

Thanks,

Matej


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to