[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-dejagnu] DejaGnu 1.4.1 fix
|
From: |
Jakub Jelinek |
|
Subject: |
Re: [Bug-dejagnu] DejaGnu 1.4.1 fix |
|
Date: |
Wed, 12 Sep 2001 20:01:06 +0200 |
On Wed, Sep 12, 2001 at 07:54:45PM +0200, Gerald Pfeifer wrote:
> On Wed, 12 Sep 2001, Rob Savoye wrote:
> > Which CVS sources ? This has been fixed for ages in the official CVS
> > repository at gnu.org. Maybe it's just the one at sources.redhat.com that
> > is missing this fix.
>
> Probably, as far as I understood Jakub, yes.
That line is not in sources dejagnu at all, so there is no need for a fix
there (but maybe it should be updated from gnu.org repository).
Jakub