diff options
Diffstat (limited to 'src/tests/dejagnu')
| -rw-r--r-- | src/tests/dejagnu/config/default.exp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/tests/dejagnu/config/default.exp b/src/tests/dejagnu/config/default.exp index d76ad4c116..2c6c56f736 100644 --- a/src/tests/dejagnu/config/default.exp +++ b/src/tests/dejagnu/config/default.exp @@ -1036,8 +1036,6 @@ proc setup_krb5_conf { {type client} } { puts $conffile \ " permitted_enctypes = $permitted_enctypes($type)" } - puts $conffile " krb4_config = $tmppwd/krb.conf" - puts $conffile " krb4_realms = $tmppwd/krb.realms" if { $mode == "tcp" } { puts $conffile " udp_preference_limit = 1" } |