diff options
| author | Jiayu Liu <jiayu@hey.com> | 2022-04-22 11:32:08 +0800 |
|---|---|---|
| committer | Jens Geyer <Jens-G@users.noreply.github.com> | 2022-04-27 12:49:55 +0200 |
| commit | 9042cc298c6d02d88a44b125a1ebaabb9416cd04 (patch) | |
| tree | e2dcf2b5d5d05ee6ef787823064183b5da632f3c /build | |
| parent | 4302aa07b094316ffca1665da346f495d88eb065 (diff) | |
| download | thrift-9042cc298c6d02d88a44b125a1ebaabb9416cd04.tar.gz | |
wait for 45 minutes
Diffstat (limited to 'build')
| -rwxr-xr-x | build/docker/refresh.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/build/docker/refresh.sh b/build/docker/refresh.sh index 08cbc91e1..c9330b5eb 100755 --- a/build/docker/refresh.sh +++ b/build/docker/refresh.sh @@ -43,7 +43,7 @@ function dockerfile_changed { # # If this build has no DOCKER_PASS and it is in the docker stage # then there's no reason to do any processing because we cannot -# push the result if the Dockerfile changed. +# push the result if the Dockerfile changed. # if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ -z "$DOCKER_PASS" ]]; then @@ -70,9 +70,13 @@ popd # echo Rebuilding docker image $DISTRO -docker build --tag $DOCKER_TAG build/docker/$DISTRO -if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ ! -z "$DOCKER_USER" ]] && [[ ! -z "$DOCKER_PASS" ]]; then +# https://docs.travis-ci.com/user/common-build-problems/#build-times-out-because-no-output-was-received +# adding `travis_wait` because kerl building in the docker file takes >10 min for building erlang +# without printing to stdout, resulting in build failures +travis_wait 45 docker build --tag $DOCKER_TAG build/docker/$DISTRO + +if [[ "$TRAVIS_BUILD_STAGE" == "docker" ]] && [[ ! -z "$DOCKER_USER" ]] && [[ ! -z "$DOCKER_PASS" ]]; then echo Pushing docker image $DOCKER_TAG docker login -u $DOCKER_USER -p $DOCKER_PASS docker push $DOCKER_TAG |