From: Keir Fraser <keir.fraser@citrix.com>
Date: Fri, 25 Jul 2008 12:59:07 +0000 (+0100)
Subject: Support using a specific branch or tag of ioemu-remote
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~14165^2~114
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f6e4baff8280c1960636aa48787d7956fb7dcce8;p=xen.git

Support using a specific branch or tag of ioemu-remote

With this patch you can set QEMU_TAG to check out a specific version.
When we set it, QEMU_TAG ought to be in Config.mk, I think.

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

diff --git a/tools/Makefile b/tools/Makefile
index 6789ec4003..ff4175de9e 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -78,6 +78,12 @@ ioemu-dir-find:
 			rm -rf ioemu-remote ioemu-remote.tmp; \
 			mkdir ioemu-remote.tmp; rmdir ioemu-remote.tmp; \
 			$(GIT) clone $(CONFIG_QEMU) ioemu-remote.tmp; \
+			if [ "$(QEMU_TAG)" ]; then			\
+				cd ioemu-remote.tmp;			\
+				$(GIT) branch -D dummy >/dev/null 2>&1 ||:; \
+				$(GIT) checkout -b dummy $(QEMU_TAG);	\
+				cd ..;					\
+			fi;						\
 			mv ioemu-remote.tmp ioemu-remote; \
 		fi; \
 		rm -f ioemu-dir; \