travis: DOCKER_REPOSITORY is no longer set. Don't require it.

diff --git a/travis-ci/scripts/build-docker-image.sh b/travis-ci/scripts/build-docker-image.sh
index 81c7f792bc9b9f953c62722c6f3dcda532fd0440..a18bf5fa85801aa813270811d99f0c2d4ba294fc 100755 (executable)
--- 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 \