aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xTools/scripts/MOVEDlint.awk10
1 files changed, 0 insertions, 10 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk
index 20f6dbd55ca7..431e4342dcd5 100755
--- a/Tools/scripts/MOVEDlint.awk
+++ b/Tools/scripts/MOVEDlint.awk
@@ -102,15 +102,5 @@ END {
error[missing[port]] = 1
}
- if (annotate) {
- line = 1
- while (annotate | getline) {
- if (error[line])
- printf "%5d\n%5d! %s\n", line, line, $0 | sort
- line++
- }
- close(annotate)
- }
-
close(sort)
}