Remove tools/guest-headers; no longer needed.

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

diff --git a/tools/Makefile b/tools/Makefile
index d75b35cfab9211fdd3f16e44f99358006fcdef05..1f883ef2fd9afdd02b7cb705dff960c891806e9d 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -14,7 +14,6 @@ SUBDIRS-$(CONFIG_X86) += firmware
 SUBDIRS-$(ACM_SECURITY) += security
 SUBDIRS-y += console
 SUBDIRS-y += xenmon
-SUBDIRS-y += guest-headers
 SUBDIRS-$(VTPM_TOOLS) += vtpm_manager
 SUBDIRS-$(VTPM_TOOLS) += vtpm
 SUBDIRS-y += xenstat

diff --git a/tools/guest-headers/Makefile b/tools/guest-headers/Makefile
deleted file mode 100644 (file)
index 7984f20..0000000
--- a/tools/guest-headers/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-XEN_ROOT=../..
-include $(XEN_ROOT)/tools/Rules.mk
-
-.PHONY: all
-all:
-
-.PHONY: check
-check:
-
-.PHONY: install
-
-install:
-       mkdir -p $(DESTDIR)$(INCLUDEDIR)/xen/sys
-       $(INSTALL_DATA) $(XEN_ROOT)/tools/include/$(XEN_OS)/*.h $(DESTDIR)$(INCLUDEDIR)/xen/sys
-
-.PHONY: clean
-clean: