Dejagnu

[Mike Stump]

On Thursday, December 5, 2002, at 06:13 PM, kwall@kurtwerks.com wrote:
> Is there any reason I should prefer Dejagnu a la
> ftp://sources.redhat.com:/pub/gcc/infrastructure/dejagnu- 
> 20010126.tar.gz
> to ftp://sources.redhat.com/pub/dejagnu/dejagnu-20000518.tar.bz2 or
> ftp://ftp.gnu.org/gnu/dejagnu-1.4.3.tar.gz on the GNU mothership?
> I'd like to start tracking down XFAILs...

1.4.0 should be ok, 1.4.1 I'd avoid.  I'd expect 1.4.3 to be fine.  The  
others, I'd just avoid at this point in general, though, they did work  
best before there was a 1.4.