K 10 svn:author V 7 wollman K 8 svn:date V 27 2002-03-08T17:45:47.000000Z K 7 svn:log V 124 Fix thinko and make it possible to disable Kerberos support on the make command line even if KRB5_HOME is set in make.conf. END