Index: src/trusted/service_runtime/arch/sel_ldr_arch.h |
diff --git a/src/trusted/service_runtime/arch/sel_ldr_arch.h b/src/trusted/service_runtime/arch/sel_ldr_arch.h |
index 0089503f6705be6cf4b0d80e1c584e6d716bdfe8..fb9ee755dabae3f9dede0e791e404d0be55fd474 100644 |
--- a/src/trusted/service_runtime/arch/sel_ldr_arch.h |
+++ b/src/trusted/service_runtime/arch/sel_ldr_arch.h |
@@ -19,6 +19,8 @@ |
#include "native_client/src/trusted/service_runtime/arch/x86/sel_ldr_x86.h" |
#elif NACL_ARCH(NACL_BUILD_ARCH) == NACL_arm |
#include "native_client/src/trusted/service_runtime/arch/arm/sel_ldr_arm.h" |
+#elif NACL_ARCH(NACL_BUILD_ARCH) == NACL_mips |
+#include "native_client/src/trusted/service_runtime/arch/mips/sel_ldr_mips.h" |
#else |
#error Unknown platform! |
#endif |