diff options
-rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |