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 9bf02c224c312b858a701f4d24bf69f8e8081f86..05cec97898c392e80dc54b56c14653a8dc8b48f2 100644 (file)
--- 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