compilation of dist tarball fails due to missing libvex_inner.h

Problem found by/patch by: Roman Kapl

diff --git a/Makefile.vex.am b/Makefile.vex.am
index 64f837352b86e6219c66e55c102ac5a0322596aa..2b54b8a55ba6c1a484d9c2cfa96baf6e429ad6b3 100644 (file)
--- a/Makefile.vex.am
+++ b/Makefile.vex.am
@@ -28,7 +28,10 @@ pkginclude_HEADERS = \
        pub/libvex_guest_mips64.h \
        pub/libvex_s390x_common.h \
        pub/libvex_ir.h \
-       pub/libvex_trc_values.h
+       pub/libvex_trc_values.h \
+       pub/libvex_inner.h
+# libvex_inner.h is special: it is a public header for valgrind core,
+# but should not be used by the end user
 
 noinst_HEADERS = \
        priv/main_globals.h \