From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 9 Jul 2010 11:22:52 +0000 (+0100)
Subject: Makefile: Serialise stubdom build after tools
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~11822
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4d0cb9ebfd1cafaf85376de4ad97b8abf798caf5;p=xen.git

Makefile: Serialise stubdom build after tools

Currently "make stubdom" on its own fails because it depends on files
being installed by the results of "make tools".  This also means that
in some circumstances a parallel "make tools stubdom" (or "make all")
can fail due to races.  So make "make stubdom" depend on "make tools"
having completed first.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
---

diff --git a/Makefile b/Makefile
index 946afab7b4..6fac2d7e98 100644
--- a/Makefile
+++ b/Makefile
@@ -74,7 +74,7 @@ install-kernels:
 	for i in $(XKERNELS) ; do $(MAKE) $$i-install || exit 1; done
 
 .PHONY: install-stubdom
-install-stubdom: tools/ioemu-dir
+install-stubdom: tools/ioemu-dir install-tools
 	$(MAKE) -C stubdom install
 ifeq (x86_64,$(XEN_TARGET_ARCH))
 	XEN_TARGET_ARCH=x86_32 $(MAKE) -C stubdom install-grub