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

[Gaetan Rivet]

Signed-off-by: Gaetan Rivet <gaetan.ri...@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