]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Add missing header files.
authorFlorian Krohm <florian@eich-krohm.de>
Wed, 5 Aug 2015 07:48:32 +0000 (07:48 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Wed, 5 Aug 2015 07:48:32 +0000 (07:48 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15489

include/Makefile.am

index e7c3e25be08a08fc79a47fa9bfd21b0c238820b0..ccfcd2778feb0517f1e5b956d056afc969161e03 100644 (file)
@@ -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