summaryrefslogtreecommitdiff
path: root/MAINTAINERS
diff options
context:
space:
mode:
authorArnon Warshavsky <arnon@qwilt.com>2018-09-27 12:04:08 +0300
committerThomas Monjalon <thomas@monjalon.net>2018-10-01 23:40:45 +0200
commit42f4d724ec27ffb4f512713cfb83cfc645086571 (patch)
treedafd140d36e1a815d598c55c6ec9bd2be160f54c /MAINTAINERS
parent738ad7b42b63fc5067419bf609296f2c4a6a0cb0 (diff)
downloaddpdk-42f4d724ec27ffb4f512713cfb83cfc645086571.zip
dpdk-42f4d724ec27ffb4f512713cfb83cfc645086571.tar.gz
dpdk-42f4d724ec27ffb4f512713cfb83cfc645086571.tar.xz
devtools: move awk script ckecking forbidden tokens
The awk code previously read inline in checkpatches.sh was using -d which is a bash option, while bash is not the default shell in all distributions. Now moved to be read from a separate file. Signed-off-by: Arnon Warshavsky <arnon@qwilt.com> Acked-by: Andrzej Ostruszka <amo@semihalf.com>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r--MAINTAINERS1
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index 5967c1d..87993a3 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -81,6 +81,7 @@ M: Thomas Monjalon <thomas@monjalon.net>
F: MAINTAINERS
F: devtools/check-dup-includes.sh
F: devtools/check-maintainers.sh
+F: devtools/check-forbidden-tokens.awk
F: devtools/check-git-log.sh
F: devtools/check-includes.sh
F: devtools/check-symbol-maps.sh