Index: src/trusted/service_runtime/arch/x86_64/sel_addrspace_posix_x86_64.c |
diff --git a/src/trusted/service_runtime/arch/x86_64/sel_addrspace_posix_x86_64.c b/src/trusted/service_runtime/arch/x86_64/sel_addrspace_posix_x86_64.c |
index 702c71d3fcb3d40eafc26ef17b31cbf0da59b9f2..b2950d022701e103b7ec0a4d8c7948d5dcb0f494 100644 |
--- a/src/trusted/service_runtime/arch/x86_64/sel_addrspace_posix_x86_64.c |
+++ b/src/trusted/service_runtime/arch/x86_64/sel_addrspace_posix_x86_64.c |
@@ -6,6 +6,9 @@ |
#include <errno.h> |
#include <sys/mman.h> |
+ |
+#include "native_client/src/include/build_config.h" |
+ |
#if NACL_LINUX |
/* |
* For getrlimit. |