warn users about unknown 'repo:tag' combinations

This commit is contained in:
Joe Ferguson 2014-09-18 13:42:08 -06:00 committed by Tianon Gravi
parent d472fdbef5
commit 511aefe622
1 changed files with 2 additions and 1 deletions

View File

@ -142,7 +142,8 @@ while [ "$#" -gt 0 ]; do
gitRef="${repoGitRef[$repoTag]}"
gitDir="${repoGitDir[$repoTag]}"
shift
if [ -z "$gitRepo" -o -z "$gitRef" ]; then
if [ -z "$gitRepo" ]; then
echo >&2 'warning: skipping unknown repo:tag:' "$repoTag"
continue
fi