From 59e07d4ba8055e5cc1fc4a551063622c5fdf1bc7 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Wed, 10 Jul 2024 17:40:11 +0000 Subject: [PATCH] make.sh: Store the PID in a variable to avoid $! being overwritten Signed-off-by: Michael Tremer --- make.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/make.sh b/make.sh index 1ebd89b1e8..6e188f9947 100755 --- a/make.sh +++ b/make.sh @@ -777,6 +777,8 @@ execute() { # Append the command execute+=( "${command[@]}" ) + local pid + # Return code local r=0 @@ -800,9 +802,12 @@ execute() { "${execute[@]}" >> "${LOGFILE}" 2>&1