diff --git a/docker/rebuild_osmocom_jenkins_image.sh b/docker/rebuild_osmocom_jenkins_image.sh index 6cf2f159..c4e3b10e 100755 --- a/docker/rebuild_osmocom_jenkins_image.sh +++ b/docker/rebuild_osmocom_jenkins_image.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/bash -e # Executes docker build with the given parameters and retry in case of error. function build_once() {