8056269: get_source.sh does not copy the closed repos when cloning local filesystems

Reviewed-by: tbell
This commit is contained in:
Erik Joelsson 2016-08-03 10:38:53 +02:00
parent 66630877b2
commit ebb077b544

View File

@ -335,7 +335,10 @@ else
for j in ${repos_extra} ; do
if [ "${i}" = "${j}" ] ; then
# it's an "extra"
pull_base="${pull_extra}"
if [ -n "${pull_extra}" ]; then
# if no pull_extra is defined, assume that pull_default is valid
pull_base="${pull_extra}"
fi
fi
done