mips: add missing header for nanomips

Add the missing header and fix nanomips build of Valgrind.

diff --git a/include/pub_tool_vkiscnums_asm.h b/include/pub_tool_vkiscnums_asm.h
index 14b483c4df5e15a3890cdf8258487d2d14b528ba..3d15459991fb7a4ba841f58f62fc5d86dbc188b5 100644 (file)
--- a/include/pub_tool_vkiscnums_asm.h
+++ b/include/pub_tool_vkiscnums_asm.h
@@ -69,6 +69,7 @@
 
 #elif defined(VGP_nanomips_linux)
 #  include "vki/vki-scnums-nanomips-linux.h"
+#  include "vki/vki-scnums-shared-linux.h"
 
 #elif defined(VGP_mips64_linux)
 #  include "vki/vki-scnums-shared-linux.h"