diff options
| -rw-r--r-- | tools/builder_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/builder_common.sh b/tools/builder_common.sh index ff25538..a149d73 100644 --- a/tools/builder_common.sh +++ b/tools/builder_common.sh @@ -136,7 +136,7 @@ print_error_pfS() { if [ "$1" != "" ]; then echo $1 fi - [ -n "${LOGFILE:-}" ] && \ + [ -n "${LOGFILE:-}" -a -f "${LOGFILE}" ] && \ echo "Log saved on ${LOGFILE}" && \ tail -n20 ${LOGFILE} >&2 echo |
