mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-23 21:34:18 +08:00
Merge branch 'use-sigterm' into 'master'
Maybe fix podman cannot cleanly exit when build interrupted See merge request redox-os/redox!2077
This commit is contained in:
commit
fd1877dc14
@ -412,6 +412,6 @@ while [ -n "$CHILDREN" ]; do
|
||||
done;
|
||||
|
||||
if [ -n "$ALL_DESCENDANTS" ]; then
|
||||
kill -9 $ALL_DESCENDANTS;
|
||||
kill $ALL_DESCENDANTS;
|
||||
fi
|
||||
"#;
|
||||
|
||||
Loading…
Reference in New Issue
Block a user