diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 14:15:28 +0200 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2022-08-23 14:16:46 +0200 |
| commit | d1349053a7cbc231d1eec15719858035f5118db7 (patch) | |
| tree | 22b9a9a9b1b5dae49cc04887ce9a08ca049d9784 /Tools | |
| parent | devel/sobjectizer: update the port to version 5.7.4.2 (diff) | |
MOVEDlint: check for flavored version of a port
There is no need to document when a port has been flavored or new
flavor has been added, check if someone added such a line, and prevent
the person it is not needed
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/MOVEDlint.awk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk index ac85287a0a0d..f9d9ef35bb8d 100755 --- a/Tools/scripts/MOVEDlint.awk +++ b/Tools/scripts/MOVEDlint.awk @@ -115,7 +115,11 @@ $3 !~ /^20[0-3][0-9]-[01][0-9]-[0-3][0-9]$/ { # No else because the port is there but does not have the flavor, # so it should be ok. } else { - printf "%5d: %s must be marked as resurrected\n", NR, $1 | sort + if ($2 ~ $1 "@") { + printf "%5d: %s is a flavor of %s, the line should be removed\n", NR, $2, $1 | sort + } else { + printf "%5d: %s must be marked as resurrected\n", NR, $1 | sort + } } } |