Add vki/vki-xen-tmem.h to include/Makefile.am nobase_pkginclude_HEADERS.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13866

diff --git a/include/Makefile.am b/include/Makefile.am
index 47f4c9af4d36e8201f7692751392412f9ae72171..e9b356bfb8bb69dd91e43397f0120cef6cd7c7dc 100644 (file)
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -74,6 +74,7 @@ nobase_pkginclude_HEADERS = \
        vki/vki-xen-memory.h            \
        vki/vki-xen-mmuext.h            \
        vki/vki-xen-sysctl.h            \
+       vki/vki-xen-tmem.h              \
        vki/vki-xen-version.h           \
        vki/vki-xen-x86.h               \
        vki/vki-linux-drm.h