diff options
Diffstat (limited to 'Tools/scripts/MOVEDlint.awk')
| -rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 3b80ef99114d..0f0f16277ff2 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -108,7 +108,6 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { END { for (port in resurrected) { printf "%5d: %s must be marked as resurrected\n", resurrected[port], port | sort - error[resurrected[port]] = 1 } for (port in missing) { |