diff options
author | Tom Tromey <tromey@redhat.com> | 2013-09-17 09:19:25 -0600 |
---|---|---|
committer | Tom Tromey <tromey@sourceware.org> | 2013-10-25 14:02:58 +0000 |
commit | c8f8fedd3cd6a6937c44ff483e9c715548039a73 (patch) | |
tree | 5c5f2db699e802243bd50948c581f65c5dc3e47b | |
parent | 279d4c119955638dc0649c34971ff50f68959587 (diff) | |
download | binutils-c8f8fedd3cd6a6937c44ff483e9c715548039a73.zip binutils-c8f8fedd3cd6a6937c44ff483e9c715548039a73.tar.gz binutils-c8f8fedd3cd6a6937c44ff483e9c715548039a73.tar.bz2 |
fix ARI for git migration
This fixes the ARI script for the git migration.
* contrib/ari/create-web-ari-in-src.sh: Update for git.
-rw-r--r-- | gdb/contrib/ari/create-web-ari-in-src.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 |