From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Date: Sun, 22 Apr 2018 20:49:50 +0000 (+0200)
Subject: compilation of dist tarball fails due to missing libvex_inner.h
X-Git-Tag: VALGRIND_3_14_0~121
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3045007dcdf4ea656bc7ba888e6bcc42b15f0333;p=thirdparty%2Fvalgrind.git

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 64f837352b..2b54b8a55b 100644
--- 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 \