From a676308b8d597fdffe1713ff890b31e9821bb2a8 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Fri, 5 Jul 2024 10:25:27 +0000 Subject: [PATCH] make.sh: Disconnect standard input from make commands Signed-off-by: Michael Tremer --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index acf99bc3e..bbd21b91d 100755 --- a/make.sh +++ b/make.sh @@ -787,7 +787,7 @@ run_command() { local t="${SECONDS}" # Run the command and pipe all output to the logfile - if ! "${command[@]}" >> "${LOGFILE}" 2>&1; then + if ! "${command[@]}" >> "${LOGFILE}" 2>&1