From c3c50f0ea445d44da4343921d4f1566c8ddce1d5 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Sun, 17 Mar 2024 15:37:11 +0100
Subject: [PATCH] chore: Start docker containers with --init

---
 misc/build-in-docker | 1 +
 1 file changed, 1 insertion(+)

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