From 574b8b6c647ea32c234edc08f1f4123e4ce1ea70 Mon Sep 17 00:00:00 2001 From: Eduardo Almeida Date: Tue, 16 Nov 2021 20:16:46 +0000 Subject: [PATCH] build: Remove duplicate header checking --- src/core/wscript | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/core/wscript b/src/core/wscript index 8b3b489de..2654cf4df 100644 --- a/src/core/wscript +++ b/src/core/wscript @@ -148,11 +148,6 @@ int main () conf.env['ENABLE_THREADING'], " include not detected") - conf.check_nonfatal(header_name='stdint.h', define_name='HAVE_STDINT_H') - conf.check_nonfatal(header_name='inttypes.h', define_name='HAVE_INTTYPES_H') - - conf.check_nonfatal(header_name='sys/inttypes.h', define_name='HAVE_SYS_INT_TYPES_H') - if not conf.check_nonfatal(lib='rt', uselib='RT, PTHREAD', define_name='HAVE_RT'): conf.report_optional_feature("RealTime", "Real Time Simulator", False, "librt is not available")