Oops, missed a few checks for eof. To generate a diff of this commit: cvs diff -r1.68 -r1.69 krb5/src/tests/dejagnu/config/ChangeLog cvs diff -r1.72 -r1.73 krb5/src/tests/dejagnu/config/default.exp