diff options
| author | David Marchand <[email protected]> | 2024-09-05 16:18:09 +0200 |
|---|---|---|
| committer | David Marchand <[email protected]> | 2024-10-03 16:18:26 +0200 |
| commit | d500e69f644f0f98ed4ea7114481f2612056234c (patch) | |
| tree | 1d4a577c7615836c30010004e57c88f75759a695 /devtools | |
| parent | 84cf9b71fc2d6baf1869ef213daee7ec9f8880bc (diff) | |
devtools: report all warnings in forbidden token check
Do not stop at the first file that got warnings.
Signed-off-by: David Marchand <[email protected]>
Acked-by: Thomas Monjalon <[email protected]>
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/check-forbidden-tokens.awk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/devtools/check-forbidden-tokens.awk b/devtools/check-forbidden-tokens.awk index 8d64e99570..59b1121090 100755 --- a/devtools/check-forbidden-tokens.awk +++ b/devtools/check-forbidden-tokens.awk @@ -13,6 +13,7 @@ BEGIN { in_file=0; in_comment=0; count=0; + warned=0; comment_start="/*" comment_end="*/" } @@ -50,7 +51,8 @@ BEGIN { ($0 ~ "^\\+\\+\\+ b/") { in_file = 0; if (count > 0) { - exit; + warned = warned + 1 + print "Warning in " substr(last_file,7) ":" } count = 0 for (i in deny_folders) { @@ -66,7 +68,10 @@ BEGIN { } END { if (count > 0) { + warned = warned + 1 print "Warning in " substr(last_file,7) ":" + } + if (warned > 0) { print MESSAGE exit RET_ON_FAIL } |
