From 61686c5b5030898a72d5555a9da75b0a9912505c Mon Sep 17 00:00:00 2001 From: Jeffrey Townsend Date: Tue, 21 Feb 2017 18:43:35 +0000 Subject: [PATCH] Improve output. --- tools/scripts/apply-patches.sh | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/tools/scripts/apply-patches.sh b/tools/scripts/apply-patches.sh index e82d3156..ac3bc02f 100755 --- a/tools/scripts/apply-patches.sh +++ b/tools/scripts/apply-patches.sh @@ -37,11 +37,13 @@ if [ -f "${PATCH_SERIES}" ]; then if [[ $p = \#* ]]; then continue; fi - echo "*** Applying ${p}..." - if [ -x "${PATCHDIR}/${p}" ]; then - "${PATCHDIR}/${p}" "${KERNDIR}" - else - patch --batch -p 1 -d ${KERNDIR} < "${PATCHDIR}/${p}" + if [ -f "${PATCHDIR}/${p}" ]; then + echo "Applying: ${p}" + if [ -x "${PATCHDIR}/${p}" ]; then + "${PATCHDIR}/${p}" "${KERNDIR}" + else + patch --batch -p 1 -d ${KERNDIR} < "${PATCHDIR}/${p}" + fi fi done else