diff options
Diffstat (limited to 'Tools')
| -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 8d8ce294f251..e2445ba44f41 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -83,7 +83,7 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { if (system("test -f " portsdir "/" $1 "/Makefile")) { delete missing[$1] } else { - printf "%5d: %s must be marked as resurrected\n", NR, port | sort + printf "%5d: %s must be marked as resurrected\n", NR, $1 | sort } if ($2) { |