jenkins: kill subprocesses on exit (#31422)

* kill-on-exit * kill all
2026-07-21 10:22:10 +08:00 · 2024-02-12 18:41:04 -05:00
parent 4b004d59f3
commit 7010aae0a9
1 changed files with 2 additions and 0 deletions
@@ -16,6 +16,8 @@ ssh -tt -o ConnectTimeout=30 -o ServerAliveInterval=30 -o ServerAliveCountMax=3

 set -e

+shopt -s huponexit # kill all child processes when the shell exits
+
 export CI=1
 export PYTHONWARNINGS=error
 export LOGPRINT=debug