diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-16 16:52:57 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-22 10:26:05 +0100 |
commit | 93c78ed231a6ea30f1c30ecbbb0f245fa9d75075 (patch) | |
tree | 35c3e08ad22a78f0caa552cb266ae6bb45ec53ce /lib/compiler-rt/builtins | |
parent | 2fb88cb2e9050d4cda97f8de1e8f000a28599869 (diff) | |
download | trusted-firmware-a-93c78ed231a6ea30f1c30ecbbb0f245fa9d75075.tar.gz |
libc: Fix all includes in codebase
The codebase was using non-standard headers. It is needed to replace
them by the correct ones so that we can use the new libc headers.
Change-Id: I530f71d9510cb036e69fe79823c8230afe890b9d
Acked-by: Sumit Garg <sumit.garg@linaro.org>
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'lib/compiler-rt/builtins')
-rw-r--r-- | lib/compiler-rt/builtins/int_lib.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/compiler-rt/builtins/int_lib.h b/lib/compiler-rt/builtins/int_lib.h index 57dfc413c4..787777a1bd 100644 --- a/lib/compiler-rt/builtins/int_lib.h +++ b/lib/compiler-rt/builtins/int_lib.h @@ -14,7 +14,7 @@ */ /* - * Portions copyright (c) 2017, ARM Limited and Contributors. + * Portions copyright (c) 2017-2018, ARM Limited and Contributors. * All rights reserved. */ @@ -63,9 +63,8 @@ * Kernel and boot environment can't use normal headers, * so use the equivalent system headers. */ -# include <sys/limits.h> -# include <sys/stdint.h> -# include <sys/types.h> +# include <limits.h> +# include <stdint.h> /* Include the commonly used internal type definitions. */ #include "int_types.h" |