diff options
Diffstat (limited to 'travis-ci/scripts/build-docker-image.sh')
| -rwxr-xr-x | travis-ci/scripts/build-docker-image.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/travis-ci/scripts/build-docker-image.sh b/travis-ci/scripts/build-docker-image.sh deleted file mode 100755 index 69f9d69ce7..0000000000 --- a/travis-ci/scripts/build-docker-image.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash - -# Check environment -[ -z "$TRAVIS_COMMIT" ] && echo "ERROR: TRAVIS_COMMIT must be set" && exit 1 - -# Build docker image -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 coverity-${TRAVIS_COMMIT} --pull=true . |