[XenPPC] [pushed]unecessary merge

[jimix@xxxxxxxxxxxxxx]

changeset:   9658:7cdae181971d
tag:         tip
parent:      9655:68480245396f
parent:      9657:ef057e9e6eb8
user:        jimix@xxxxxxxxxxxxxxxxxxxxx
date:        Mon Mar 27 16:52:31 2006 -0500
summary:     unecessary merge

diff -r 68480245396f -r 7cdae181971d tools/misc/hg-push-mail.sh
--- /dev/null   Thu Jan  1 00:00:00 1970 +0000
+++ b/tools/misc/hg-push-mail.sh        Mon Mar 27 16:52:31 2006 -0500
@@ -0,0 +1,29 @@
+#! /bin/bash
+#
+# run like so:
+#  $ bash ./tools/misc/hg-push-mail.sh <cset1> [cset2] ...
+#
+#set -x
+
+mailto='xen-ppc-devel@xxxxxxxxxxxxxxxxxxx'
+
+if [ -z "$1" ]; then
+    echo "usage $0 <cset id>"
+    exit 1;
+fi
+
+while [ -n "$1" ]; do
+    cset=$1
+    tmp=/tmp/hg.$$.$cset 
+
+    if ! hg log -p -r $cset > $tmp ; then
+       echo "no changeset: $cset"
+       exit 1;
+    fi
+    sub=$(sed -ne 's/^summary: *\(.*\)/\1/p' $tmp)
+    mail -s "[pushed]${sub}" "$mailto" < $tmp
+
+    rm $tmp
+
+    shift;
+done



_______________________________________________
Xen-ppc-devel mailing list
Xen-ppc-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ppc-devel