2018-01-11 11:41:35 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# Check environment
|
|
|
|
[ -z "$TRAVIS_COMMIT" ] && echo "ERROR: TRAVIS_COMMIT must be set" && exit 1
|
|
|
|
|
|
|
|
# Build docker image
|
2018-06-04 19:37:19 +02:00
|
|
|
echo -e "\n\033[33;1mBuilding docker image: coverity-$TRAVIS_COMMIT.\033[0m"
|
2018-01-11 11:41:35 +01:00
|
|
|
|
|
|
|
docker build \
|
|
|
|
--build-arg DOCKER_USER=$USER \
|
|
|
|
--build-arg DOCKER_USER_UID=`id -u` \
|
|
|
|
--build-arg DOCKER_USER_GID=`id -g` \
|
2018-06-01 09:56:13 +02:00
|
|
|
--force-rm -t coverity-${TRAVIS_COMMIT} --pull=true .
|