if not CONFIG_SET(opt, 'HAVE_RESOLV_CONF_SUPPORT'):
env.OPTIONS += " --use-dns-faking"
+ if CONFIG_GET(opt, 'USING_SYSTEM_KRB5'):
+ env.OPTIONS += " --mitkrb5"
+
if CONFIG_GET(opt, 'USING_SYSTEM_KRB5') and CONFIG_GET(opt, 'MIT_KDC_PATH'):
- env.OPTIONS += " --mitkrb5 --exclude=${srcdir}/selftest/skip_mit_kdc"
+ env.OPTIONS += " --exclude=${srcdir}/selftest/skip_mit_kdc"
if CONFIG_GET(opt, 'HAVE_MIT_KRB5_PRE_1_20'):
- env.OPTIONS += " --mitkrb5 --exclude=${srcdir}/selftest/skip_mit_kdc_pre_1_20"
+ env.OPTIONS += " --exclude=${srcdir}/selftest/skip_mit_kdc_pre_1_20"
env.FILTER_XFAIL += " --expected-failures=${srcdir}/selftest/"\
"knownfail_mit_kdc"