diff options
author | Stewart Smith <stewart@linux.ibm.com> | 2018-10-29 15:24:50 +1100 |
---|---|---|
committer | Stewart Smith <stewart@linux.ibm.com> | 2018-10-29 15:24:52 +1100 |
commit | 9c20ae2dd501210f10aaa036b48527bc890fcf95 (patch) | |
tree | 80f92fedcff1e7b69f979d78b4ac8afe95d6088b /ci/build.sh | |
parent | 0487ed8db115b21ec36315ea7f32fe678ce962c8 (diff) | |
download | blackbird-op-build-9c20ae2dd501210f10aaa036b48527bc890fcf95.tar.gz blackbird-op-build-9c20ae2dd501210f10aaa036b48527bc890fcf95.zip |
ci/docker: Run containers with --init
This should avoid a bunch of zombie processes.
Signed-off-by: Stewart Smith <stewart@linux.ibm.com>
Diffstat (limited to 'ci/build.sh')
-rwxr-xr-x | ci/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build.sh b/ci/build.sh index 012aaef0..f663ef46 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 } |