run autoconf

diff --git a/configure b/configure
index 5f2652ba6a3e4be934ea3e7c6890ffc16fb60b31..9c969dd5d4441c0a34a4a495af1c7a3a79e0f0a9 100755 (executable)
--- a/configure
+++ b/configure
@@ -22350,6 +22350,8 @@ fi;
       K5CONFIG=$dir/bin/krb5-config
     elif test -f "/usr/kerberos/bin/krb5-config"; then
       K5CONFIG="/usr/kerberos/bin/krb5-config"
+    elif test -f "/usr/lib/mit/bin/krb5-config"; then
+      K5CONFIG="/usr/lib/mit/bin/krb5-config"
     fi
     if test "$K5CONFIG" != ""; then
       KRBCFLAGS=`$K5CONFIG --cflags`