From 0103c1c17a2eac8ce45275212907242bc8b3a3ea Mon Sep 17 00:00:00 2001 From: Trevor Bramwell Date: Tue, 17 Jul 2018 17:16:13 +0000 Subject: 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 --- docs/submodules/releng | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/submodules/releng b/docs/submodules/releng index e4a6c05de..766d248dd 160000 --- a/docs/submodules/releng +++ b/docs/submodules/releng @@ -1 +1 @@ -Subproject commit e4a6c05de01febe062fac4c642613331866a68df +Subproject commit 766d248dd8f0fd3cef5fda841b1dd0365427c42f -- cgit 1.2.3-korg