diff --git a/make.sh b/make.sh index de2d9aead..44516af73 100755 --- a/make.sh +++ b/make.sh @@ -369,7 +369,7 @@ exiterror() { done # Dump logfile - if [ -n "${LOGFILE}" ]; then + if [ -n "${LOGFILE}" ] && [ -e "${LOGFILE}" ]; then echo # empty line local line