Hi Daniel, > The sources.redhat.com copy of dejagnu is slightly pre-1.4.3 and has > some serious bogons in it... someone really ought to merge in a more > recent DejaGNU. So - are you volunteering ? :-) Cheers Nick