From 6def1a300765136cd675f52b28a8fec599e86d3b Mon Sep 17 00:00:00 2001 From: Hyperling Date: Tue, 14 Oct 2025 11:26:43 -0700 Subject: [PATCH] Echo the killed processes. --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index caf873f..5bfed1c 100755 --- a/run.sh +++ b/run.sh @@ -134,7 +134,7 @@ status=$? ## Finish ## log "Kill spawned processes." -pkill -P $$ +pkill -eP $$ log "Exiting with status '$status'." exit $status