From: Mark Wielaard <mark@klomp.org>
Date: Fri, 17 Apr 2020 14:12:06 +0000 (+0200)
Subject: Add missing vki header files to nobase_pkginclude_HEADERS.
X-Git-Tag: VALGRIND_3_16_0~56
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=bc7eb9046f93558903fc388a00dbb60c89a9cf73;p=thirdparty%2Fvalgrind.git

Add missing vki header files to nobase_pkginclude_HEADERS.

Otherwise they don't show up in the dist tarball.
---

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