# HG changeset patch
# User root@sonne.dd.dtele.de
# Date 1235929176 -3600
# Node ID 468be5a998dda74f645d2c43192cf447eb197d70
# Parent  d3ba83b8dd73408c305d942f257ef8d8a4e716cc
fixed tag-tool

diff -r d3ba83b8dd73 -r 468be5a998dd mktag
--- a/mktag	Sun Mar 01 18:36:58 2009 +0100
+++ b/mktag	Sun Mar 01 18:39:36 2009 +0100
@@ -30,5 +30,8 @@
 		;;
 esac
 
-hg tag $o_force "$tag"
-hg up -r "$tag"
+hg tag $o_force "$tag" \
+&& old=$(hg id) \
+&& hg up -r "$tag" \
+&& make clean all \
+&& hg up -r "$old"