diff options
Diffstat (limited to 'util')
-rw-r--r-- | util/selftest.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/selftest.pl b/util/selftest.pl index 6dfef9cc29..b0f26fc731 100644 --- a/util/selftest.pl +++ b/util/selftest.pl @@ -132,6 +132,7 @@ if (system("make 2>&1 | tee make.log") > 255) { $_=$options; s/no-asm//; s/no-shared//; +s/no-krb5//; if (/no-/) { print OUT "Test skipped.\n"; |