xen-ppc-devel
[XenPPC] [pushed]unecessary merge
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
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [XenPPC] [pushed]unecessary merge,
jimix <=
|
|
|