From 5d92be8cc63f676a5192364b396fd6587570a3f6 Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Sun, 31 Dec 2000 01:41:01 +0000 Subject: [PATCH] Temporary measure: if no KRB5 is defined, add "no-krb5" to the options. This is so mk1mf.pl can pick it up from Makefile. --- Configure | 1 + 1 file changed, 1 insertion(+) diff --git a/Configure b/Configure index 9a4c0f59fc..718c2e63da 100755 --- a/Configure +++ b/Configure @@ -681,6 +681,7 @@ if ($no_krb5 || $withargs{"krb5-flavor"} eq "") { $cflags="-DNO_KRB5 $cflags"; + $options.=" no-krb5" unless $no_krb5; } else {