From: Keir Fraser Date: Sat, 26 Jan 2008 15:26:15 +0000 (+0000) Subject: Remove tools/guest-headers; no longer needed. X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14386 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=64ab2aa0f8d5caecd0053e314ff66cdec8373934;p=xen.git Remove tools/guest-headers; no longer needed. Signed-off-by: Bastian Blank --- diff --git a/tools/Makefile b/tools/Makefile index d75b35cfab..1f883ef2fd 100644 --- 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 index 7984f201b2..0000000000 --- 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: