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: