diff options
Diffstat (limited to 'tools/include')
-rw-r--r-- | tools/include/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/include/Makefile b/tools/include/Makefile index 47a72a8aa7..6c41dc3211 100644 --- 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 |