diff options
| -rw-r--r-- | lib/replace/wscript | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/replace/wscript b/lib/replace/wscript index 62075145a5..331f1e81b2 100644 --- a/lib/replace/wscript +++ b/lib/replace/wscript @@ -67,8 +67,7 @@ def configure(conf): conf.CHECK_HEADERS('utmp.h utmpx.h lastlog.h') conf.CHECK_HEADERS('syscall.h sys/syscall.h inttypes.h') - conf.CHECK_TYPES('"long long" intptr_t uintptr_t ptrdiff_t') - conf.CHECK_TYPES('comparison_fn_t bool') + conf.CHECK_TYPES('"long long" intptr_t uintptr_t ptrdiff_t comparison_fn_t') conf.CHECK_TYPE('_Bool', define='HAVE__Bool') conf.CHECK_TYPE('int8_t', 'char') |