# HG changeset patch
# User Juergen Gross <juergen.gross@xxxxxxxxxxxxxx>
# Date 1288335441 -7200
# Node ID fca5fe608144ae6e82f48c314639b2fe59d2cfcd
# Parent  d60c1258c6b75f6de0bb9e09b27ac9e86c974908
refetch qemu if QEMU_TAG changed

Check for a changed QEMU_TAG. If it has changed since last build, delete old
qemu sources and refetch with new QEMU_TAG.

Signed-off-by: juergen.gross@xxxxxxxxxxxxxx

diff -r d60c1258c6b7 -r fca5fe608144 tools/Makefile
--- a/tools/Makefile	Fri Oct 29 07:54:27 2010 +0200
+++ b/tools/Makefile	Fri Oct 29 08:57:21 2010 +0200
@@ -91,6 +91,13 @@
 	$(MAKE) -C ioemu distclean
 
 ioemu-dir-find:
+	set -e;								\
+	if [ "$(QEMU_TAG)" ]; then					\
+		if [ ! -r qemu_tag.$(QEMU_TAG) ]; then			\
+			rm -f ioemu-dir qemu_tag.* 2>/dev/null;		\
+			rm -rf ioemu-remote $(CONFIG_QEMU) 2>/dev/null;	\
+		fi;							\
+	fi
 	set -ex; \
 	if test -d $(CONFIG_QEMU); then \
 		rm -f ioemu-dir; \
@@ -105,6 +112,7 @@
 				$(GIT) branch -D dummy >/dev/null 2>&1 ||:; \
 				$(GIT) checkout -b dummy $(QEMU_TAG);	\
 				cd ..;					\
+				> qemu_tag.$(QEMU_TAG);			\
 			fi;						\
 			mv ioemu-remote.tmp ioemu-remote; \
 		fi; \