diff options
| -rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 883becaa44a9..20f6dbd55ca7 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -88,7 +88,7 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { # printf "Initial value of 'reason' is lowercase: %5d (%s)\n", NR, $4 if ($4 ~ /\.$/) - printf "Final character is a dot: %5d (%s)\n", NR, $4 + printf "%5d: Final character is a dot: (%s)\n", NR, $4 } END { |