diff --git a/make.sh b/make.sh index f33bf9211..14e589c27 100755 --- a/make.sh +++ b/make.sh @@ -844,8 +844,8 @@ run_command() { "${command[@]}" >> "${LOGFILE}" 2>&1 = 128, wait has been interrupted by the timer