Temporary measure: if no KRB5 is defined, add "no-krb5" to the

options.  This is so mk1mf.pl can pick it up from Makefile.

diff --git a/Configure b/Configure
index 9a4c0f59fc244b44c0d92d9c0a824b3fcbaeda97..718c2e63dabe2304ed2d8342bbfcae3d28d82909 100755 (executable)
--- a/Configure
+++ b/Configure
@@ -681,6 +681,7 @@ if ($no_krb5
        || $withargs{"krb5-flavor"} eq "")
        {
        $cflags="-DNO_KRB5 $cflags";
        || $withargs{"krb5-flavor"} eq "")
        {
        $cflags="-DNO_KRB5 $cflags";

+       $options.=" no-krb5" unless $no_krb5;

        }
 else
        {
        }
 else
        {