From 9c20ae2dd501210f10aaa036b48527bc890fcf95 Mon Sep 17 00:00:00 2001
From: Stewart Smith <stewart@linux.ibm.com>
Date: Mon, 29 Oct 2018 15:24:50 +1100
Subject: [PATCH] ci/docker: Run containers with --init

This should avoid a bunch of zombie processes.

Signed-off-by: Stewart Smith <stewart@linux.ibm.com>
---
 ci/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/build.sh b/ci/build.sh
index 012aaef010..f663ef463d 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -70,7 +70,7 @@ function run_docker
 	else
 		BINDARG="--mount=type=bind,src=${PWD},dst=${PWD}"
 	fi
-	$DOCKER_PREFIX docker run --cap-add=sys_admin --net=host --rm=true \
+	$DOCKER_PREFIX docker run --init --cap-add=sys_admin --net=host --rm=true \
 	 --user="${USER}" -w "${PWD}" "${BINDARG}" \
          -t $1 $2
 }