chore: Start docker containers with --init

diff --git a/misc/build-in-docker b/misc/build-in-docker
index 76030969e732fe0bb50cf613a2be19d45eaf0f22..bf37bd0214e94d3c62ffe3e9dc903020c6ffe27b 100755 (executable)
--- a/misc/build-in-docker
+++ b/misc/build-in-docker
@@ -33,6 +33,7 @@ mkdir -p build-in-docker
 mkdir -p build-in-docker/docker-ccache
 
 docker run \
+    --init \
     --rm \
     --volume "$PWD:/source" \
     --volume "$PWD/build-in-docker/docker-ccache:/ccache" \