diff options
author | Trevor Bramwell <tbramwell@linuxfoundation.org> | 2018-07-17 17:16:13 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@opnfv.org> | 2018-07-17 17:16:13 +0000 |
commit | 759599e1831f95debcb43412bfd37c7f0ccb7d73 (patch) | |
tree | 62a67a7c1ef54096deb5306a63c7c5cfe9ae1f27 /docs | |
parent | ec4cad6ccf6943e06a613d7d472a659aff7e5243 (diff) |
Update git submodules
* Update docs/submodules/releng from branch 'master'
- Merge "Ensure docker prunning can be done"
- Ensure docker prunning can be done
Sometimes the docker build fails and the docker process hangs on a container,
withouth being able to stop it. This causes spurious failures on other builds
that shouldn't fail. The prune job should cleanup the hanging containers and
images, but it fails when the docker process is hanged.
This change adds a docker restart to the prune job, in order to assure that the
hanged container is shut down and can be removed.
JIRA: ARMBAND-358
Change-Id: I9d04fa1099a6fc53bf773a2eba33be89db7d0aa1
Signed-off-by: Cristina Pauna <cristina.pauna@enea.com>
Diffstat (limited to 'docs')
m--------- | docs/submodules/releng | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/releng b/docs/submodules/releng -Subproject e4a6c05de01febe062fac4c642613331866a68d +Subproject 766d248dd8f0fd3cef5fda841b1dd0365427c42 |