diff options
| author | Jerin Jacob <[email protected]> | 2023-10-04 17:57:52 +0530 |
|---|---|---|
| committer | Thomas Monjalon <[email protected]> | 2023-11-28 12:10:36 +0100 |
| commit | 7e421ae345f48e4855fac86f07c10200eb92893b (patch) | |
| tree | de82c4dc2552abd796ad04d2be54bab93a8eb64f /devtools | |
| parent | 9136514c99c0b1ae9bc0d3c386d2756711b5e9ae (diff) | |
devtools: support skipping forbid rule check
In some case, a set of files in directory may need to skip forbid
rules check.
Added an infrastructure to enable the same using SKIP_FILES variable.
Signed-off-by: Jerin Jacob <[email protected]>
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/check-forbidden-tokens.awk | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/devtools/check-forbidden-tokens.awk b/devtools/check-forbidden-tokens.awk index 026844141c..90d3a64f8e 100755 --- a/devtools/check-forbidden-tokens.awk +++ b/devtools/check-forbidden-tokens.awk @@ -58,8 +58,11 @@ BEGIN { for (i in deny_folders) { re = "^\\+\\+\\+ b/" deny_folders[i]; if ($0 ~ re) { - in_file = 1 - last_file = $0 + # Check only if the files are not part of SKIP_FILES + if (!(length(SKIP_FILES) && ($re ~ SKIP_FILES))) { + in_file = 1 + last_file = $0 + } } } } |