updated fetch_build_git_repos.sh

pull/2/head
Hari Sekhon 6 years ago
parent 5c4b660bfc
commit 39f595ff28

@ -30,8 +30,9 @@ if [ -z "${NO_CLEAN:-}" ]; then
opts="$opts clean"
fi
if [ -n "${REPOS:-}" ]; then
repolist="$REPOS"
repolist="${@:-${REPOS:-}}"
if [ -n "$repolist" ]; then
:
elif [ -f "$srcdir/repolist.txt" ]; then
repolist="$(sed 's/#.*//' < "$srcdir/repolist.txt")"
else

Loading…
Cancel
Save