From 3045007dcdf4ea656bc7ba888e6bcc42b15f0333 Mon Sep 17 00:00:00 2001 From: Philippe Waroquiers Date: Sun, 22 Apr 2018 22:49:50 +0200 Subject: [PATCH] compilation of dist tarball fails due to missing libvex_inner.h Problem found by/patch by: Roman Kapl --- Makefile.vex.am | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 \ -- 2.47.2