From 6bd3e3e934aaed53e5bc00f6185fd6b111e0a0aa Mon Sep 17 00:00:00 2001 From: Florian Krohm Date: Wed, 5 Aug 2015 07:48:32 +0000 Subject: [PATCH] Add missing header files. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15489 --- include/Makefile.am | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.47.2