Also install xen/sys into headers.

Signed-off-by: Bastian Blank <waldi@debian.org>

diff --git a/tools/include/Makefile b/tools/include/Makefile
index 47a72a8aa7ffa1a1178d25536da87eac1c460f47..6c41dc3211e9f4af8d2cd7a82cc104953f393869 100644 (file)
--- a/tools/include/Makefile
+++ b/tools/include/Makefile
@@ -23,6 +23,7 @@ install: all
        $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)/xen/foreign
        $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)/xen/hvm
        $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)/xen/io
+       $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)/xen/sys
        $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)/xen/xsm
        $(INSTALL_DATA) xen/COPYING $(DESTDIR)$(INCLUDEDIR)/xen
        $(INSTALL_DATA) xen/*.h $(DESTDIR)$(INCLUDEDIR)/xen
@@ -31,6 +32,7 @@ install: all
        $(INSTALL_DATA) xen/foreign/*.h $(DESTDIR)$(INCLUDEDIR)/xen/foreign
        $(INSTALL_DATA) xen/hvm/*.h $(DESTDIR)$(INCLUDEDIR)/xen/hvm
        $(INSTALL_DATA) xen/io/*.h $(DESTDIR)$(INCLUDEDIR)/xen/io
+       $(INSTALL_DATA) xen/sys/*.h $(DESTDIR)$(INCLUDEDIR)/xen/sys
        $(INSTALL_DATA) xen/xsm/*.h $(DESTDIR)$(INCLUDEDIR)/xen/xsm
 
 .PHONY: clean