From bc7eb9046f93558903fc388a00dbb60c89a9cf73 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Fri, 17 Apr 2020 16:12:06 +0200 Subject: [PATCH] Add missing vki header files to nobase_pkginclude_HEADERS. Otherwise they don't show up in the dist tarball. --- 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 -- 2.47.3