56 if [ ! -f ${i}/.hg/hgrc ] ; then |
56 if [ ! -f ${i}/.hg/hgrc ] ; then |
57 repos="${repos} ${i}" |
57 repos="${repos} ${i}" |
58 fi |
58 fi |
59 done |
59 done |
60 if [ "${pull_extra_base}" != "" ] ; then |
60 if [ "${pull_extra_base}" != "" ] ; then |
61 subrepos_extra="jdk/src/closed jdk/make/closed jdk/test/closed hotspot/src/closed hotspot/test/closed deploy install sponsors pubs" |
61 subrepos_extra="jdk/src/closed jdk/make/closed jdk/test/closed hotspot/make/closed hotspot/src/closed hotspot/test/closed deploy install sponsors pubs" |
62 pull_default_tail=`echo ${pull_default} | sed -e 's@^.*://[^/]*/\(.*\)@\1@'` |
62 pull_default_tail=`echo ${pull_default} | sed -e 's@^.*://[^/]*/\(.*\)@\1@'` |
63 pull_extra="${pull_extra_base}/${pull_default_tail}" |
63 pull_extra="${pull_extra_base}/${pull_default_tail}" |
64 for i in ${subrepos_extra} ; do |
64 for i in ${subrepos_extra} ; do |
65 if [ ! -f ${i}/.hg/hgrc ] ; then |
65 if [ ! -f ${i}/.hg/hgrc ] ; then |
66 repos_extra="${repos_extra} ${i}" |
66 repos_extra="${repos_extra} ${i}" |