[dpdk-dev] [PATCH v2 4/4] devtools: add git log checks for rmv

Gaetan Rivet gaetan.rivet at 6wind.com
Tue Apr 25 12:18:18 CEST 2017


Signed-off-by: Gaetan Rivet <gaetan.rivet at 6wind.com>
---
 devtools/check-git-log.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 8449d4f..f081ff5 100755
--- a/devtools/check-git-log.sh
+++ b/devtools/check-git-log.sh
@@ -132,6 +132,7 @@ bad=$(echo "$headlines" | grep -E --color=always \
 	-e ':.*\<numa\>' \
 	-e ':.*\<pci\>' \
 	-e ':.*\<pmd\>' \
+	-e ':.*\<rmv\>' \
 	-e ':.*\<rss\>' \
 	-e ':.*\<tso\>' \
 	-e ':.*\<[Vv]lan\>' \
-- 
2.1.4



More information about the dev mailing list