From f0b19a0376d98068b4b7d7ee32398890482e5d20 Mon Sep 17 00:00:00 2001 From: Michal Sekletar Date: Mon, 4 Jun 2018 19:37:19 +0200 Subject: travis: DOCKER_REPOSITORY is no longer set. Don't require it. --- travis-ci/scripts/build-docker-image.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/travis-ci/scripts/build-docker-image.sh b/travis-ci/scripts/build-docker-image.sh index 81c7f792bc..a18bf5fa85 100755 --- a/travis-ci/scripts/build-docker-image.sh +++ b/travis-ci/scripts/build-docker-image.sh @@ -1,11 +1,10 @@ #!/bin/bash # Check environment -[ -z "$DOCKER_REPOSITORY" ] && echo "ERROR: DOCKER_REPOSITORY must be set" && exit 1 [ -z "$TRAVIS_COMMIT" ] && echo "ERROR: TRAVIS_COMMIT must be set" && exit 1 # Build docker image -echo -e "\n\033[33;1mBuilding docker image: $DOCKER_REPOSITORY:$TRAVIS_COMMIT.\033[0m" +echo -e "\n\033[33;1mBuilding docker image: coverity-$TRAVIS_COMMIT.\033[0m" docker build \ --build-arg DOCKER_USER=$USER \ -- cgit v1.2.1