|
From: Philippe W. <phi...@so...> - 2018-04-22 20:51:42
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=3045007dcdf4ea656bc7ba888e6bcc42b15f0333 commit 3045007dcdf4ea656bc7ba888e6bcc42b15f0333 Author: Philippe Waroquiers <phi...@sk...> Date: Sun Apr 22 22:49:50 2018 +0200 compilation of dist tarball fails due to missing libvex_inner.h Problem found by/patch by: Roman Kapl Diff: --- Makefile.vex.am | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile.vex.am b/Makefile.vex.am index 64f8373..2b54b8a 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 \ |