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

[Thomas Monjalon]

25/04/2017 12:18, Gaetan Rivet:
> 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\>' \

rmv is not an acronym. I think there is no need to enforce uppercases.