diff options
-rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 0f0f16277ff2..8d8ce294f251 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -83,14 +83,12 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { if (system("test -f " portsdir "/" $1 "/Makefile")) { delete missing[$1] } else { - resurrected[$1] = NR + printf "%5d: %s must be marked as resurrected\n", NR, port | sort } if ($2) { if (system("test -f " portsdir "/" $2 "/Makefile")) missing[$2] = NR -# else -# delete resurrected[$2] } # Produces too many false positives @@ -106,10 +104,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 - } - for (port in missing) { printf "%5d: %s not found\n", missing[port], port | sort error[missing[port]] = 1 |