Yes, that fixed the issue. Thanks.
On Sun, Jun 13, 2010 at 8:07 AM, Neil Jerram wrote:
> Noah Lavine writes:
>
>> /bin/sh: line 1: 82299 Broken pipe cat alist.doc
>>
>> I'm unsure what would cause this, but I'm happy to help track it down if I
>> can.
>
> I saw a problem which I thi
Noah Lavine writes:
> /bin/sh: line 1: 82299 Broken pipe cat alist.doc
>
> I'm unsure what would cause this, but I'm happy to help track it down if I
> can.
I saw a problem which I think was like this, but it did not recur after
doing a make -k distclean and then building again from
Here are the last lines from the build output:
cat alist.doc arbiters.doc array-handle.doc array-map.doc arrays.doc
async.doc backtrace.doc boolean.doc bitvectors.doc bytevectors.doc
chars.doc control.doc continuations.doc debug.doc deprecated.doc
deprecation.doc discouraged.doc dynl.doc dynwind.d
