Merge pull request #2421 from stewart-ibm/docker-init

ci/docker: Run containers with --init
open-power · Oct 29, 2018 · 95ec118 · 95ec118
2 parents 0487ed8 + 9c20ae2
commit 95ec118
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 }