From 66028310ce91a19618376223ca0f44e7adbdfaf7 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 23 Nov 2017 16:09:00 +0000 Subject: [PATCH] make.sh: Don't try to dump a non-existing logfile Signed-off-by: Michael Tremer --- make.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make.sh b/make.sh index de2d9aeade..44516af736 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 -- 2.39.2