travis-ci/scripts/build-docker-image.sh

#!/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 .