CVSROOT: /cvs/krbdev Module name: krb5 Changes by: raeburn at drugstore.mit.edu 2002-07-17 21:11:14 Modified files: src/tests/dejagnu: ChangeLog Makefile.in Log message: use @HAVE_RUNTEST@ in deciding which tests to run