diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh index 7f24c8f2..14596d96 100755 --- a/src/scripts/nightly/nightlybuild.sh +++ b/src/scripts/nightly/nightlybuild.sh @@ -104,6 +104,7 @@ then echo "Applying local patches from ${LOCALPATCHDIR}:" for i in "${LOCALPATCHDIR}"/*.patch do + [ -r "${i}" ] || continue if patch -Np0 < "${i}" >/dev/null then echo "${i}: OK"