Index: src/trusted/service_runtime/sel_rt.h |
diff --git a/src/trusted/service_runtime/sel_rt.h b/src/trusted/service_runtime/sel_rt.h |
index 5d8363060d22bfa24562594ab5febaee952e3529..e795883fdb59482f177bbf099b761919d779284b 100644 |
--- a/src/trusted/service_runtime/sel_rt.h |
+++ b/src/trusted/service_runtime/sel_rt.h |
@@ -13,6 +13,8 @@ |
#include "native_client/src/trusted/service_runtime/arch/x86/sel_rt.h" |
#elif NACL_ARCH(NACL_BUILD_ARCH) == NACL_arm |
#include "native_client/src/trusted/service_runtime/arch/arm/sel_rt.h" |
+#elif NACL_ARCH(NACL_BUILD_ARCH) == NACL_mips |
+#include "native_client/src/trusted/service_runtime/arch/mips/sel_rt.h" |
#else |
#error Unknown platform! |
#endif |