kenner@vlsi1.ultra.nyu.edu (Richard Kenner) writes: [...] | There really should be some web page capturing all this and giving | the versions of tools that are needed. Yeah, you're right. I'll try to grab dejagnu-cvs and whether the problem is still there and if so send a patch. Thanks, -- Gaby