diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tests/dejagnu/config/default.exp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tests/dejagnu/config/default.exp b/src/tests/dejagnu/config/default.exp index 76a27cfab..d64771ee0 100644 --- a/src/tests/dejagnu/config/default.exp +++ b/src/tests/dejagnu/config/default.exp @@ -453,8 +453,8 @@ proc setup_kerberos_files { } { # Create krb.realms file if ![file exists tmpdir/krb.realms] { set conffile [open tmpdir/krb.realms w] - puts $conffile ".$domain = $REALMNAME" - puts $conffile "$domain = $REALMNAME" + puts $conffile ".[string toupper $domain] $REALMNAME" + puts $conffile "[string toupper $domain]. $REALMNAME" close $conffile } |