# HG changeset patch
# User root@sonne.dd.dtele.de
# Date 1235928967 -3600
# Node ID d5c7dea84c61188466ba7928b86bfae188bbfd5a
# Parent  9da9fe83c77caa6acfb1e2f1584e1fb7122adf3a
added tagtool

diff -r 9da9fe83c77c -r d5c7dea84c61 mktag
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mktag	Sun Mar 01 18:36:07 2009 +0100
@@ -0,0 +1,34 @@
+#! /bin/bash
+
+tmp=$(getopt -n $0 -o f --long force -- "$@")
+eval set -- $tmp
+while true; do
+	o="$1"; shift
+	case "$o" in
+		--)		break;;
+		-f|--force)	o_force="-f";;
+	esac
+done
+
+
+tag="${1?}"
+
+id=$(hg id)
+id=${id%% *}
+
+id=${id%+}
+case "$id" in
+	*+)	echo "sorry, local version is modified." >&2
+		exit 1
+		;;
+esac
+
+case "$tag" in
+	v*.*)	;;
+	*)	echo "sorry, tag should be v*.*" >&2
+		exit 1
+		;;
+esac
+
+hg tag $o_force "$tag"
+hg up -r "$tag"