From: Joel Rosdahl <joel@rosdahl.net>
Date: Sun, 17 Mar 2024 14:37:11 +0000 (+0100)
Subject: chore: Start docker containers with --init
X-Git-Tag: v4.10~64
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3c50f0ea445d44da4343921d4f1566c8ddce1d5;p=thirdparty%2Fccache.git

chore: Start docker containers with --init
---

diff --git a/misc/build-in-docker b/misc/build-in-docker
index 76030969..bf37bd02 100755
--- 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" \