diff options
author | Bryan Drewery <bdrewery@FreeBSD.org> | 2018-01-25 20:56:18 +0000 |
---|---|---|
committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2018-01-25 20:56:18 +0000 |
commit | d7b83ead050acc29650b37534904f173e7012b3d (patch) | |
tree | 9f07a1707fe9dd38abe7c265c454f7c7dddc4fe2 /Tools | |
parent | da465b137777aea9a7b3ac442d989c0a943030cf (diff) |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 60de5f90dd52..ebb4f4050f9c 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -74,6 +74,13 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { } { + if ($1 in srcs) { + printf "%5d: %s has duplicate entries\n", NR, $1 | sort + error[NR] = 1 + next + } + srcs[$1] = 1 + if (lastdate > $3) { printf "%5d: date going backwards from %s to %s\n", NR, lastdate, $3 | sort error[NR] = 1 |