Add pub_core_extension.h to coregrind/Makefile.am noinst_HEADERS

diff --git a/coregrind/Makefile.am b/coregrind/Makefile.am
index c1182b61618f4277b39b164a26111a54212439e0..e3e31a73bd86eda61b17a4965521d61d78b17ccb 100644 (file)
--- 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    \