diff --git a/docker/scripts/build_and_clean.sh b/docker/scripts/build_and_clean.sh index 34285551732..f5f383f1565 100755 --- a/docker/scripts/build_and_clean.sh +++ b/docker/scripts/build_and_clean.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -euo pipefail +set -e function build_and_clean() { local ccache_dir=$1