diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-07-25 13:59:07 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-07-25 13:59:07 +0100 |
commit | f6e4baff8280c1960636aa48787d7956fb7dcce8 (patch) | |
tree | 3e7a6a9fa9b76a53382e5d8a8ee67dcc39ff5579 /tools/Makefile | |
parent | cead514ad859ee4fdfe3d56a1585bd9f27c3d684 (diff) | |
download | xen-f6e4baff8280c1960636aa48787d7956fb7dcce8.tar.gz xen-f6e4baff8280c1960636aa48787d7956fb7dcce8.tar.bz2 xen-f6e4baff8280c1960636aa48787d7956fb7dcce8.zip |
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>
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
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; \ |