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 6789ec400356caa91aa6f6caa6baf6e98c790774..ff4175de9e8d919b11b06475edb383fcf5919124 100644 (file)
--- 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; \