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 /gdb/contrib | |
| parent | 279d4c119955638dc0649c34971ff50f68959587 (diff) | |
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.
Diffstat (limited to 'gdb/contrib')
| -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 2d9c588893..7f0c4233bf 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 |