From 6cd196cfc8cc7a938cfc7d8d551aac518e2c74fa 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 1ebd89b1e..6e188f994 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