From: Petar Jovanovic <mips32r2@gmail.com>
Date: Mon, 25 Dec 2023 10:41:02 +0000 (+0000)
Subject: mips: add missing header for nanomips
X-Git-Tag: VALGRIND_3_23_0~215
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=a43bfaf0815345252e9ec5f0ba325f3c15569316;p=thirdparty%2Fvalgrind.git

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 14b483c4df..3d15459991 100644
--- 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"