From: Florian Krohm <florian@eich-krohm.de>
Date: Wed, 5 Aug 2015 07:48:32 +0000 (+0000)
Subject: Add missing header files.
X-Git-Tag: svn/VALGRIND_3_11_0~168
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6bd3e3e934aaed53e5bc00f6185fd6b111e0a0aa;p=thirdparty%2Fvalgrind.git

Add missing header files.


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

diff --git a/include/Makefile.am b/include/Makefile.am
index e7c3e25be0..ccfcd2778f 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -84,8 +84,11 @@ nobase_pkginclude_HEADERS = \
 	vki/vki-xen-hvm.h		\
 	vki/vki-xen-memory.h		\
 	vki/vki-xen-mmuext.h		\
+	vki/vki-xen-physdev.h		\
+	vki/vki-xen-schedop.h		\
 	vki/vki-xen-sysctl.h		\
 	vki/vki-xen-tmem.h		\
 	vki/vki-xen-version.h		\
+	vki/vki-xen-xsm.h		\
 	vki/vki-xen-x86.h		\
 	vki/vki-linux-drm.h