diff options
Diffstat (limited to 'docker/rebuild_osmocom_jenkins_image.sh')
-rwxr-xr-x | docker/rebuild_osmocom_jenkins_image.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/docker/rebuild_osmocom_jenkins_image.sh b/docker/rebuild_osmocom_jenkins_image.sh index 60c516b..5d14d83 100755 --- a/docker/rebuild_osmocom_jenkins_image.sh +++ b/docker/rebuild_osmocom_jenkins_image.sh @@ -2,12 +2,8 @@ # Executes docker build with the given parameters and retry in case of error. function build_once() { - # In case the debian apt archive has become out of sync, try a - # --no-cache build if it fails. - # shellcheck disable=SC2068 - docker build $@ -f Dockerfile_osmocom_jenkins.amd64 . \ - || docker build --no-cache $@ -f Dockerfile_osmocom_jenkins.amd64 . + docker build $@ -f Dockerfile_osmocom_jenkins.amd64 . } # Builds a container with a debian version and tag name as parameter. |