Commit 5d92be8c authored by Richard Levitte's avatar Richard Levitte
Browse files

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

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

Configure

+1 −0
Original line number Original line Diff line number Diff line
@@ -681,6 +681,7 @@ if ($no_krb5 
	|| $withargs{"krb5-flavor"} eq "")

	|| $withargs{"krb5-flavor"} eq "")

	{

	{

	$cflags="-DNO_KRB5 $cflags";

	$cflags="-DNO_KRB5 $cflags";

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

	}

	}

else

else

	{

	{