diff options
Diffstat (limited to 'testing/docker/dmgr.sh')
| -rwxr-xr-x | testing/docker/dmgr.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testing/docker/dmgr.sh b/testing/docker/dmgr.sh index 5dbb8b22..74539b42 100755 --- a/testing/docker/dmgr.sh +++ b/testing/docker/dmgr.sh @@ -83,7 +83,10 @@ action_clean() local cntr=$1 msg "Cleaning up after ${cntr}" - rm -rf build-${cntr} + if [ -d build-${cntr} ]; then + chmod -R +w build-${cntr} + rm -rf build-${cntr} + fi } action=$1 |