From 0d296cc2d3b8e2ffa46b4a93d1398fa6bf85b504 Mon Sep 17 00:00:00 2001 From: Gabe Black Date: Wed, 15 Oct 2014 04:38:30 -0600 Subject: Provide option to avoid defining a custom version of uintptr_t. There's a definition in stdint.h (provided by gcc) which will be more correct if available. Define CONFIG_USE_STDINT to use this feature, or USE_STDINT=1 on the 'make' commmand. This adjusts the settings for x86 and sandbox, with both have 64-bit options. Signed-off-by: Gabe Black Reviewed-by: Gabe Black Tested-by: Gabe Black Reviewed-by: Bill Richardson Rewritten to be an option, since stdint.h is often available only in glibc. Changed to preserve a clear boundary between stdint and non-stdint Signed-off-by: Simon Glass --- config.mk | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'config.mk') diff --git a/config.mk b/config.mk index 00805bdc5b..64c2951ac1 100644 --- a/config.mk +++ b/config.mk @@ -59,6 +59,11 @@ ifdef FTRACE PLATFORM_CPPFLAGS += -finstrument-functions -DFTRACE endif +# Allow use of stdint.h if available +ifneq ($(USE_STDINT),) +PLATFORM_CPPFLAGS += -DCONFIG_USE_STDINT +endif + ######################################################################### RELFLAGS := $(PLATFORM_RELFLAGS) -- cgit v1.2.3