diff options
author | Gabe Black <gabeblack@chromium.org> | 2014-10-15 04:38:30 -0600 |
---|---|---|
committer | Tom Rini <trini@ti.com> | 2014-10-27 11:04:01 -0400 |
commit | 0d296cc2d3b8e2ffa46b4a93d1398fa6bf85b504 (patch) | |
tree | 25c0cadf3c5056cbe0c72ab19c932293428b5615 /config.mk | |
parent | 4bf3a56f2b2c7c7bbf3825484d361d564a270783 (diff) |
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 <gabeblack@google.com>
Reviewed-by: Gabe Black <gabeblack@chromium.org>
Tested-by: Gabe Black <gabeblack@chromium.org>
Reviewed-by: Bill Richardson <wfrichar@google.com>
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 <sjg@chromium.org>
Diffstat (limited to 'config.mk')
-rw-r--r-- | config.mk | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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) |