git.droids-corp.org
/
dpdk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
eal: improve option API documentation
[dpdk.git]
/
devtools
/
check-forbidden-tokens.awk
diff --git
a/devtools/check-forbidden-tokens.awk
b/devtools/check-forbidden-tokens.awk
index
fd77cdd
..
8c89de3
100755
(executable)
--- a/
devtools/check-forbidden-tokens.awk
+++ b/
devtools/check-forbidden-tokens.awk
@@
-63,12
+63,7
@@
BEGIN {
END {
if (count > 0) {
print "Warning in " substr(last_file,6) ":"
- print "are you sure you want to add the following:"
- for (key in expressions) {
- if (expressions[key] > 0) {
- print key
- }
- }
+ print MESSAGE
exit RET_ON_FAIL
}
}