From d290e325179ccee966cd679d0fed48be6f4cc1b7 Mon Sep 17 00:00:00 2001 From: Juergen Gross Date: Tue, 8 Nov 2016 09:29:11 +0100 Subject: [PATCH] build system: don't let install-stubdom depend on install-tools There is no reason for the install-stubdom target to depend on install-tools. It is absolutely reasonable to install new stubdoms only. Signed-off-by: Juergen Gross Acked-by: Wei Liu --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a8e95233c3..084588e11e 100644 --- a/Makefile +++ b/Makefile @@ -101,7 +101,7 @@ install-tools: $(MAKE) -C tools install .PHONY: install-stubdom -install-stubdom: install-tools mini-os-dir +install-stubdom: mini-os-dir $(MAKE) -C stubdom install ifeq (x86_64,$(XEN_TARGET_ARCH)) XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom install-grub -- 2.30.2