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

This commit is contained in:
Michal Sekletar 2018-06-04 19:37:19 +02:00
parent 3f4b547a55
commit f0b19a0376
1 changed files with 1 additions and 2 deletions

View File

@ -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 \