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