diff options
author | MS <ms@taler.net> | 2022-11-13 21:08:14 +0100 |
---|---|---|
committer | MS <ms@taler.net> | 2022-11-13 21:08:14 +0100 |
commit | ed536009165e65c17411414364acea3113bc9354 (patch) | |
tree | 0f4a4268ee5e844a628e2699cbb360bbb6d67f84 /docker/demo | |
parent | 018d3cae2852463495cefb1e6acb0781a0d57736 (diff) | |
download | deployment-ed536009165e65c17411414364acea3113bc9354.tar.gz deployment-ed536009165e65c17411414364acea3113bc9354.tar.bz2 deployment-ed536009165e65c17411414364acea3113bc9354.zip |
fix fail branch
Diffstat (limited to 'docker/demo')
-rwxr-xr-x | docker/demo/build_base.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/demo/build_base.sh b/docker/demo/build_base.sh index 01e13dc..776eeae 100755 --- a/docker/demo/build_base.sh +++ b/docker/demo/build_base.sh @@ -44,6 +44,7 @@ docker build --no-cache \ -f $DOCKER_FILE . || ( echo Removing the dummy 'taler_notags' file. rm -f taler_notags + exit 1 ) echo Removing the dummy 'taler_notags' file. rm -f taler_notags |