diff options
author | Bryan Drewery <bdrewery@FreeBSD.org> | 2017-08-07 17:32:31 +0000 |
---|---|---|
committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2017-08-07 17:32:31 +0000 |
commit | 51eb8c52268dd89535043ca31923831bbde19a69 (patch) | |
tree | 615d17fef7863a269cb218fc42b2c400dee30200 /Tools | |
parent | 586ea3a661f8d2cf976f83ea9a306b1d51dcfa37 (diff) |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 431e4342dcd5..79960dd922bc 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -77,11 +77,12 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { else resurrected[$1] = NR - if ($2) + if ($2) { if (system("test -f " portsdir "/" $2 "/Makefile")) missing[$2] = NR - else - delete resurrected[$2] +# else +# delete resurrected[$2] + } # Produces too many false positives # if ($4 ~ /^[a-z].*/) |