diff options
Diffstat (limited to 'config.mk')
| -rw-r--r-- | config.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config.mk b/config.mk index 00805bdc5b3..64c2951ac1e 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) |