summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorDavid Marchand <[email protected]>2024-09-05 16:18:09 +0200
committerDavid Marchand <[email protected]>2024-10-03 16:18:26 +0200
commitd500e69f644f0f98ed4ea7114481f2612056234c (patch)
tree1d4a577c7615836c30010004e57c88f75759a695 /devtools
parent84cf9b71fc2d6baf1869ef213daee7ec9f8880bc (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-xdevtools/check-forbidden-tokens.awk7
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
}