[Pkg-xen-devel] [OCAML 7/7] Add in two header files required for the use of libxenctrl

[Jon Ludlam]

---
 xen/debian/libxen-dev.install |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/xen/debian/libxen-dev.install b/xen/debian/libxen-dev.install
index 2694514..58e3799 100644
--- a/xen/debian/libxen-dev.install
+++ b/xen/debian/libxen-dev.install
@@ -8,4 +8,6 @@ usr/include/xenctrl.h
 usr/include/xenguest.h
 usr/include/xs.h
 usr/include/xs_lib.h
+usr/include/xentoollog.h
+usr/include/xenctrlosdep.h
 usr/include/xen
-- 
1.7.5.4