diff options
| author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-26 15:26:15 +0000 |
|---|---|---|
| committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-26 15:26:15 +0000 |
| commit | 64ab2aa0f8d5caecd0053e314ff66cdec8373934 (patch) | |
| tree | 25e29a7ac9541a3f605a2639429ca5f70ead2693 /tools | |
| parent | e0db36bcdd1341c6434537c80d34e00d60bc4360 (diff) | |
| download | xen-64ab2aa0f8d5caecd0053e314ff66cdec8373934.tar.gz xen-64ab2aa0f8d5caecd0053e314ff66cdec8373934.tar.bz2 xen-64ab2aa0f8d5caecd0053e314ff66cdec8373934.zip | |
Remove tools/guest-headers; no longer needed.
Signed-off-by: Bastian Blank <waldi@debian.org>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 1 | ||||
| -rw-r--r-- | tools/guest-headers/Makefile | 17 |
2 files changed, 0 insertions, 18 deletions
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: |