commit 9c20ae2dd501210f10aaa036b48527bc890fcf95
author Stewart Smith <stewart@linux.ibm.com> Mon Oct 29 15:24:50 2018 +1100
committer Stewart Smith <stewart@linux.ibm.com> Mon Oct 29 15:24:52 2018 +1100
tree 80f92fedcff1e7b69f979d78b4ac8afe95d6088b
parent 0487ed8db115b21ec36315ea7f32fe678ce962c8

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

diff --git a/ci/build.sh b/ci/build.sh
index 012aaef..f663ef4 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -70,7 +70,7 @@
 	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
 }