+2002-12-18 Ken Raeburn <raeburn@mit.edu>
+
+ * env-setup.shin: Set KRB5CCNAME to something under $K5ROOT.
+
2002-10-30 Ken Raeburn <raeburn@mit.edu>
* start_servers_local: If $USER isn't set, use $LOGNAME. If
KRB5_CONFIG=$K5ROOT/krb5.conf; export KRB5_CONFIG
KRB5_KDC_PROFILE=$K5ROOT/kdc.conf; export KRB5_KDC_PROFILE
KRB5_KTNAME=$K5ROOT/ovsec_adm.srvtab; export KRB5_KTNAME
-KRB5CCNAME=/tmp/krb5cc_unit-test; export KRB5CCNAME
+KRB5CCNAME=$K5ROOT/krb5cc_unit-test; export KRB5CCNAME
if [ "$TEST_SERVER" != "" ]; then
MAKE_KEYTAB="$MAKE_KEYTAB -server $TEST_SERVER"