diff options
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/sed_checked.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/sed_checked.sh b/Tools/scripts/sed_checked.sh index 647d59c7ba19..9c8c270f6099 100755 --- a/Tools/scripts/sed_checked.sh +++ b/Tools/scripts/sed_checked.sh @@ -6,7 +6,7 @@ for x in "${@}" ; do if [ -f "${x}" ]; then if cmp -s "${x}" "${x}".bak ; then if [ ! -z "${REWARNFILE}" ]; then - echo sed failed: file content unchanged from backup: ${x#${WRKSRC}/} >> ${REWARNFILE} + echo - - REINPLACE_CMD ran, but did not modify file contents: ${x#${WRKSRC}/} >> ${REWARNFILE} fi fi fi |