Hi Theodoros > According to http://www.gnu.org/software/dejagnu/ in order to do a CVS > checkout you need to do > $ cvs -z3 -d:ext:[EMAIL PROTECTED]:/cvsroot/dejagnu co dejagnu
The checkout instructions have changed once again, so the instructions you've provided would be incorrect as well. I've passed on the correct info to Rob, who maintains the web page. He should fix it soon. Thanks for the report! Ben
pgpBBaKr0N51s.pgp
Description: PGP signature
_______________________________________________ Bug-dejagnu mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-dejagnu
