aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9f1e3c4af1..31e87958f0 100644
--- a/Makefile
+++ b/Makefile
@@ -66,9 +66,13 @@ install-xen:
$(MAKE) -C xen install
.PHONY: install-tools
-install-tools: tools/ioemu-dir
+install-tools:
$(MAKE) -C tools install
+ifeq ($(CONFIG_IOEMU),y)
+install-tools: tools/ioemu-dir
+endif
+
.PHONY: install-kernels
install-kernels:
for i in $(XKERNELS) ; do $(MAKE) $$i-install || exit 1; done