# HG changeset patch
# User root@sonne.dd.dtele.de
# Date 1235929018 -3600
# Node ID d3ba83b8dd73408c305d942f257ef8d8a4e716cc
# Parent  d5c7dea84c61188466ba7928b86bfae188bbfd5a# Parent  daaf06cdc0064d2f8ac7466547d3ae1d378d9e09
[merged]

diff -r daaf06cdc006 -r d3ba83b8dd73 mktag
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mktag	Sun Mar 01 18:36:58 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"