[dpdk-dev] [PATCH 3/3] scripts: check headline of drivers commits
Thomas Monjalon
thomas.monjalon at 6wind.com
Wed Jul 6 14:36:05 CEST 2016
2016-07-06 12:09, Bruce Richardson:
> On Wed, Jul 06, 2016 at 12:38:50PM +0200, Thomas Monjalon wrote:
> > From: Nelio Laranjeiro <nelio.laranjeiro at 6wind.com>
> > +# check headline prefix when touching only drivers/, e.g. net/<driver name>
> > +bad=$(for commit in $commits ; do
> > + headline=$(git log --format='%s' -1 $commit)
> > + files=$(git diff-tree --no-commit-id --name-only -r $commit)
> > + [ -z "$(echo "$files" | grep -v '^drivers/')" ] || continue
>
> Given the preference for including documentation in with the code changes,
> we should perhaps exclude any doc changes when making this check.
Yes we can exclude doc/ and config/.
Thanks
More information about the dev
mailing list