devtools: check prefix for libraries patches
authorDavid Marchand <david.marchand@redhat.com>
Wed, 20 Oct 2021 09:14:15 +0000 (11:14 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Fri, 26 Nov 2021 10:11:42 +0000 (11:11 +0100)
commit807274d53ad341ca9d8bcdcf582f60273fa78f76
treefb4b40cf6a54090fda5d7ec569e1fea2bafd0f1d
parent779279afa579570f4e62b708895fa52de1bee471
devtools: check prefix for libraries patches

The convention in DPDK is to directly use library names as prefix,
without a lib/.

Signed-off-by: David Marchand <david.marchand@redhat.com>
devtools/check-git-log.sh