diff options
Diffstat (limited to 'lib/replace/wscript')
| -rw-r--r-- | lib/replace/wscript | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript index b9921c9b9c..b1aad69fb7 100644 --- a/lib/replace/wscript +++ b/lib/replace/wscript @@ -280,14 +280,6 @@ def configure(conf): define = 'REPLACE_STRPTIME', ) - if conf.CONFIG_SET('HAVE_KRB5_H'): - # Check for KRB5_DEPRECATED handling - conf.CHECK_CODE('''#define KRB5_DEPRECATED 1 -#include <krb5.h>''', - 'HAVE_KRB5_DEPRECATED_WITH_IDENTIFIER', addmain=False, - link=False, - msg="Checking for KRB5_DEPRECATED define taking an identifier") - conf.CHECK_CODE('gettimeofday(NULL, NULL)', 'HAVE_GETTIMEOFDAY_TZ', execute=False) conf.CHECK_CODE('#include "test/snprintf.c"', |