[dpdk-dev] [PATCH v2 4/4] devtools: add git log checks for rmv
Thomas Monjalon
thomas at monjalon.net
Mon May 1 00:28:44 CEST 2017
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.
More information about the dev
mailing list