From 02bca4fa3a62dafbc8f051a0f766f9d5763f6e1c Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Thu, 18 Apr 2024 15:58:37 +0200 Subject: [PATCH] Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS --- coregrind/Makefile.am | 1 + 1 file changed, 1 insertion(+) 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 \ -- 2.47.2