diff options
Diffstat (limited to 'travis-ci/scripts/build-docker-image.sh')
| -rwxr-xr-x | travis-ci/scripts/build-docker-image.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/travis-ci/scripts/build-docker-image.sh b/travis-ci/scripts/build-docker-image.sh index 5d4333a95b..a18bf5fa85 100755 --- a/travis-ci/scripts/build-docker-image.sh +++ b/travis-ci/scripts/build-docker-image.sh @@ -1,14 +1,13 @@ #!/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 \ --build-arg DOCKER_USER_UID=`id -u` \ --build-arg DOCKER_USER_GID=`id -g` \ ---force-rm -t ${DOCKER_REPOSITORY}:${TRAVIS_COMMIT} --pull=true . +--force-rm -t coverity-${TRAVIS_COMMIT} --pull=true . |