diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 12:01:12 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 14:15:40 +0200 |
commit | 6c603bac02cff3f3040f2e58e7bb06103d5c4879 (patch) | |
tree | 1913480e69eda514670834e4d5016dc231171651 | |
parent | 23d603a3af45771244c9aef9aa440e91cf4f7614 (diff) |
docker/rebuild_osmocom_jenkins_image.sh: set -e
Exit with error if one of the docker commands is failing (i.e. don't
exit with 0 when building the jessie image failed, but the stretch
image got built properly).
Change-Id: I6faaf9303b4facb0965131615bc73541dd309c51
-rwxr-xr-x | docker/rebuild_osmocom_jenkins_image.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docker/rebuild_osmocom_jenkins_image.sh b/docker/rebuild_osmocom_jenkins_image.sh index 6cf2f15..c4e3b10 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() { |