|
From: Mark W. <ma...@so...> - 2020-04-17 14:13:27
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=bc7eb9046f93558903fc388a00dbb60c89a9cf73 commit bc7eb9046f93558903fc388a00dbb60c89a9cf73 Author: Mark Wielaard <ma...@kl...> Date: Fri Apr 17 16:12:06 2020 +0200 Add missing vki header files to nobase_pkginclude_HEADERS. Otherwise they don't show up in the dist tarball. Diff: --- include/Makefile.am | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/include/Makefile.am b/include/Makefile.am index 9bf02c224c..05cec97898 100644 --- a/include/Makefile.am +++ b/include/Makefile.am @@ -82,6 +82,8 @@ nobase_pkginclude_HEADERS = \ vki/vki-scnums-nanomips-linux.h \ vki/vki-scnums-darwin.h \ vki/vki-scnums-solaris.h \ + vki/vki-scnums-shared-linux.h \ + vki/vki-scnums-32bit-linux.h \ vki/vki-xen.h \ vki/vki-xen-domctl.h \ vki/vki-xen-evtchn.h \ @@ -96,4 +98,5 @@ nobase_pkginclude_HEADERS = \ vki/vki-xen-version.h \ vki/vki-xen-xsm.h \ vki/vki-xen-x86.h \ - vki/vki-linux-drm.h + vki/vki-linux-drm.h \ + vki/vki-linux-io_uring.h |