diff options
| author | Mathieu Arnold <mat@FreeBSD.org> | 2017-11-10 11:59:17 +0000 |
|---|---|---|
| committer | Mathieu Arnold <mat@FreeBSD.org> | 2017-11-10 11:59:17 +0000 |
| commit | 6dbe1c10ebd84ef81bc2e83d2b52261b0fed8907 (patch) | |
| tree | 7c5649fdccca2686bf8920ba9b9e635dce00693c /Tools | |
| parent | aae5ac7bd6453bc18467cd68dba9c55bda5dfaab (diff) | |
Notes
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index 1b5d94074d78..3b80ef99114d 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -80,10 +80,11 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { } lastdate = $3 - if (system("test -f " portsdir "/" $1 "/Makefile")) + if (system("test -f " portsdir "/" $1 "/Makefile")) { delete missing[$1] - else + } else { resurrected[$1] = NR + } if ($2) { if (system("test -f " portsdir "/" $2 "/Makefile")) |