# HG changeset patch
# User ohair
# Date 1336783977 25200
# Node ID 78cadbe9f385c4110bfa7da90e608ceeb4aac252
# Parent  46d24df71c5dbb245e961dee1318d2cc3a82ce41
7167976: Fix broken get_source.sh script
Reviewed-by: tbell

diff -r 46d24df71c5d -r 78cadbe9f385 make/scripts/hgforest.sh
--- a/make/scripts/hgforest.sh	Thu May 10 08:26:26 2012 -0700
+++ b/make/scripts/hgforest.sh	Fri May 11 17:52:57 2012 -0700
@@ -59,8 +59,8 @@
   done
   if [ "${pull_extra_base}" != "" ] ; then
     subrepos_extra="jdk/src/closed jdk/make/closed jdk/test/closed hotspot/src/closed hotspot/test/closed deploy install sponsors pubs"
-    pull_default_base=`echo ${pull_default} | sed -e 's@\(^.*://[^/]*\)/.*@\1@'`
-    pull_extra=`echo ${pull_default} | sed -e "s@${pull_default_base}@${pull_extra_base}@"`
+    pull_default_tail=`echo ${pull_default} | sed -e 's@^.*://[^/]*/\(.*\)@\1@'`
+    pull_extra="${pull_extra_base}/${pull_default_tail}"
     for i in ${subrepos_extra} ; do
       if [ ! -f ${i}/.hg/hgrc ] ; then
         repos_extra="${repos_extra} ${i}"