* default.exp: Use $KRBIV rather than $KRB4 since dejagnu-1.3
authorTom Yu <tlyu@mit.edu>
Wed, 8 Nov 2000 23:18:39 +0000 (23:18 +0000)
committerTom Yu <tlyu@mit.edu>
Wed, 8 Nov 2000 23:18:39 +0000 (23:18 +0000)
commit114419d20423fda346e74e1ce082561b3cd2d7e7
tree48f5b8dd08287e8f74d09417c18871e940f94048
parent3c59a1168382d3669ea5f1b5b116e518d5229cc5
* default.exp: Use $KRBIV rather than $KRB4 since dejagnu-1.3
doesn't deal with digits in passed-in variables.

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@12861 dc483132-0cff-0310-8789-dd5450dbe970
src/tests/dejagnu/config/ChangeLog
src/tests/dejagnu/config/default.exp