do not fail on inability to find remote url

Change-Id: I83e808ea41057d6b9b4983e9f94a6dc903368496
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
This commit is contained in:
Doug Hellmann 2017-10-19 19:30:14 -04:00
parent 239af90a15
commit 2a86407a07
1 changed files with 1 additions and 1 deletions

View File

@ -46,7 +46,7 @@ fi
# repository is, if we're running under CI or someone has checked it
# out locally to an alternate name. Use the git remote URL as a source
# of better information for the real repository name.
REMOTE_URL=$(cd $REPODIR && git config --get remote.origin.url)
REMOTE_URL=$(cd $REPODIR && git config --get remote.origin.url || echo "")
if [ ! -z "$REMOTE_URL" ]; then
SHORTNAME=$(basename $REMOTE_URL)
REPOORGNAME=$(basename $(dirname $REMOTE_URL))