From: Juergen Gross <jgross@suse.com>
Date: Tue, 8 Nov 2016 08:29:11 +0000 (+0100)
Subject: build system: don't let install-stubdom depend on install-tools
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~3333
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d290e325179ccee966cd679d0fed48be6f4cc1b7;p=xen.git

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 <jgross@suse.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
---

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