make.sh: Kill all child processes if unshare terminates

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/make.sh b/make.sh
index 12b3deff57aa737e057a6d0fe3ea25ff310b17bc..f7654b212d62f9c041d5d34b566d91da7a989861 100755 (executable)
--- 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}" \