diff options
| -rw-r--r-- | lib/replace/wscript | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript index bfe9142669..727682677c 100644 --- a/lib/replace/wscript +++ b/lib/replace/wscript @@ -176,6 +176,13 @@ def configure(conf): msg='Checking for working strptime'): conf.DEFINE('REPLACE_STRPTIME', 1) + 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) |