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 <[email protected]>
Mellanox · Nov 26, 2021 · 807274d · 807274d
1 parent 779279a
commit 807274d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
@@ -89,6 +89,12 @@ bad=$(for commit in $commits ; do
 done | sed 's,^,\t,')
 [ -z "$bad" ] || { printf "Wrong headline prefix:\n$bad\n" && failure=true;}
 
+# check headline prefix for libraries
+bad=$(echo "$headlines" | grep --color=always \
+	-e '^lib/' \
+	| sed 's,^,\t,')
+[ -z "$bad" ] || { printf "Wrong headline prefix:\n$bad\n" && failure=true;}
+
 # check headline label for common typos
 bad=$(echo "$headlines" | grep --color=always \
 	-e '^example[:/]' \