>>> A few months ago someone posted a script that summarizes make
>>> buildworld as it progresses. I've searched the ports and the mailing
>>> lists but I can't find it any more :-( so I'd be grateful if someone
>>> would tell me. Thanks.
>>
>> It was phk (cc'd), and yes, it seems to have evapora
> Brian Somers wrote:
>
> >> A few months ago someone posted a script that summarizes make
> >> buildworld as it progresses. I've searched the ports and the mailing
> >> lists but I can't find it any more :-( so I'd be grateful if someone
> >> would tell me. Thanks.
> >=20
> > It was phk (cc'd),
In message <[EMAIL PROTECTED]>, Ben Smithurs
t writes:
>>> A few months ago someone posted a script that summarizes make
>>> buildworld as it progresses. I've searched the ports and the mailing
>>> lists but I can't find it any more :-( so I'd be grateful if someone
>>> would tell me. Thanks.
>>=
Brian Somers wrote:
>> A few months ago someone posted a script that summarizes make
>> buildworld as it progresses. I've searched the ports and the mailing
>> lists but I can't find it any more :-( so I'd be grateful if someone
>> would tell me. Thanks.
>
> It was phk (cc'd), and yes, it seems
On Thu, 22 Jun 2000, Tony Finch wrote:
> A few months ago someone posted a script that summarizes make
> buildworld as it progresses. I've searched the ports and the mailing
> lists but I can't find it any more :-( so I'd be grateful if someone
> would tell me. Thanks.
>
> Tony.
> --
> f.a.n.fi
> A few months ago someone posted a script that summarizes make
> buildworld as it progresses. I've searched the ports and the mailing
> lists but I can't find it any more :-( so I'd be grateful if someone
> would tell me. Thanks.
It was phk (cc'd), and yes, it seems to have evaporated.
> Tony.
A few months ago someone posted a script that summarizes make
buildworld as it progresses. I've searched the ports and the mailing
lists but I can't find it any more :-( so I'd be grateful if someone
would tell me. Thanks.
Tony.
--
f.a.n.finch[EMAIL PROTECTED][EMAIL PROTECTED]
356 punge
7 matches
Mail list logo