Index: src/trusted/service_runtime/arch/x86_32/sel_addrspace_x86_32.c |
diff --git a/src/trusted/service_runtime/arch/x86_32/sel_addrspace_x86_32.c b/src/trusted/service_runtime/arch/x86_32/sel_addrspace_x86_32.c |
index 2b8fc277b7a1b570a2b153f7d501d2f918412620..f3f93fa7b22c16d9f2ff05c66a9bbdee1aa9ebf8 100644 |
--- a/src/trusted/service_runtime/arch/x86_32/sel_addrspace_x86_32.c |
+++ b/src/trusted/service_runtime/arch/x86_32/sel_addrspace_x86_32.c |
@@ -4,6 +4,8 @@ |
* found in the LICENSE file. |
*/ |
+#include "native_client/src/include/build_config.h" |
+ |
#if NACL_LINUX |
#include <errno.h> |
#include <sys/mman.h> |