diff options
-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 } |