Index: src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
diff --git a/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c b/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
index b702e33929dc5ff02f99b10c00b491d4e4affa67..851324915289a4a6da13c842c2179669fe34a177 100644 |
--- a/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
+++ b/src/trusted/service_runtime/arch/x86_32/sel_rt_32.c |
@@ -5,6 +5,7 @@ |
*/ |
#include <float.h> |
+#include "native_client/src/include/build_config.h" |
#if NACL_WINDOWS |
/* |