diff options
| -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 |