]>
Commit | Line | Data |
---|---|---|
99127d20 MČ |
1 | #!/bin/bash |
2 | ||
3 | # Check environment | |
99127d20 MČ |
4 | [ -z "$TRAVIS_COMMIT" ] && echo "ERROR: TRAVIS_COMMIT must be set" && exit 1 |
5 | ||
6 | # Build docker image | |
f0b19a03 | 7 | echo -e "\n\033[33;1mBuilding docker image: coverity-$TRAVIS_COMMIT.\033[0m" |
99127d20 MČ |
8 | |
9 | docker build \ | |
cc5549ca ZJS |
10 | --build-arg DOCKER_USER=$USER \ |
11 | --build-arg DOCKER_USER_UID=`id -u` \ | |
12 | --build-arg DOCKER_USER_GID=`id -g` \ | |
13 | --force-rm -t coverity-${TRAVIS_COMMIT} --pull=true . |