Remove tools/guest-headers; no longer needed.

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

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

tools/guest-headers/Makefile

@@ -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: