diff options
Diffstat (limited to 'Tools/scripts/MOVEDlint.awk')
| -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 cf5a1a634edd..ff204b24b80d 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -60,7 +60,7 @@ $1 !~ /^[^\/]+\/[^\/]+$/ || $2 !~ /^([^\/]+\/[^\/]+)?$/ { error[NR] = 1 next } - + $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { printf "%5d: missing YYYY-MM-DD date\n", NR | sort error[NR] = 1 |