From: Mark Wielaard <mark@klomp.org>
Date: Thu, 18 Apr 2024 13:58:37 +0000 (+0200)
Subject: Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS
X-Git-Tag: VALGRIND_3_23_0~32
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=02bca4fa3a62dafbc8f051a0f766f9d5763f6e1c;p=thirdparty%2Fvalgrind.git

Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS
---

diff --git a/coregrind/Makefile.am b/coregrind/Makefile.am
index c1182b616..e3e31a73b 100644
--- a/coregrind/Makefile.am
+++ b/coregrind/Makefile.am
@@ -203,6 +203,7 @@ noinst_HEADERS = \
 	pub_core_dispatch_asm.h	\
 	pub_core_errormgr.h	\
 	pub_core_execontext.h	\
+	pub_core_extension.h    \
 	pub_core_gdbserver.h	\
 	pub_core_guest.h	\
 	pub_core_hashtable.h	\