diff --git a/make.sh b/make.sh index 7129c36e7..f68a61c1c 100755 --- a/make.sh +++ b/make.sh @@ -2155,6 +2155,8 @@ check_for_missing_rootfiles() { local file for file in ${LOG_DIR}/*_missing_rootfile; do + [ -e "${file}" ] || continue + file="${file##*/}" file="${file/_missing_rootfile/}";