[PATCH 2/2] fix ARI for git migration

[Tom Tromey]

This fixes the ARI script for the git migration.

	* contrib/ari/create-web-ari-in-src.sh: Update for git.
---
 gdb/contrib/ari/create-web-ari-in-src.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gdb/contrib/ari/create-web-ari-in-src.sh b/gdb/contrib/ari/create-web-ari-in-src.sh
index 2d9c588..7f0c423 100644
--- a/gdb/contrib/ari/create-web-ari-in-src.sh
+++ b/gdb/contrib/ari/create-web-ari-in-src.sh
@@ -55,6 +55,11 @@ if [ -z "${webdir}" ] ; then
 # Use 'branch' subdir name if Tag contains branch
   if [ -f "${srcdir}/gdb/CVS/Tag" ] ; then
     tagname=`cat "${srcdir}/gdb/CVS/Tag"`
+  elif [ -d "${srcdir}/.git" ] ; then
+    tagname=`cd ${srcdir} && git rev-parse --abbrev-ref HEAD`
+    if test "$tagname" = "master"; then
+      tagname=trunk
+    fi
   else
     tagname=trunk
   fi
-- 
1.8.1.4