From 06c28ddbe324b39732a2b09c95a6c375f9ee8b2f Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 5 Jul 2024 15:39:05 +0000 Subject: [PATCH] make.sh: Kill all child processes if unshare terminates Signed-off-by: Michael Tremer --- make.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/make.sh b/make.sh index 12b3deff5..f7654b212 100755 --- a/make.sh +++ b/make.sh @@ -647,6 +647,9 @@ enterchroot() { # Mount /proc so that the build environment does not see # any foreign processes. "--mount-proc=${BUILD_DIR}/proc" + + # If unshare is asked to terminate, terminate all child processes + "--kill-child" ) PATH="${PATH}" \ -- 2.39.5