-if bld.CONFIG_SET("USING_SYSTEM_KRB5"):
- if bld.CONFIG_SET("HEIMDAL_KRB5_CONFIG") and bld.CONFIG_SET("KRB5_CONFIG"):
- if bld.CONFIG_GET("HEIMDAL_KRB5_CONFIG") != bld.CONFIG_GET("KRB5_CONFIG"):
- # When both HEIMDAL_KRB5_CONFIG and KRB5_CONFIG are set and not equal,
- # it means one is Heimdal-specific (krb5-config.heimdal, for example)
- # and there is system heimdal
- bld.PROCESS_SEPARATE_RULE('system_heimdal')
+if bld.CONFIG_GET('KRB5_VENDOR') in (None, 'heimdal'):
+ if bld.CONFIG_GET("HEIMDAL_KRB5_CONFIG") and bld.CONFIG_GET("USING_SYSTEM_KRB5"):
+ # When both HEIMDAL_KRB5_CONFIG and KRB5_CONFIG are set and not equal,
+ # it means one is Heimdal-specific (krb5-config.heimdal, for example)
+ # and there is system heimdal
+ bld.PROCESS_SEPARATE_RULE('system_heimdal')