X-Git-Url: http://git.droids-corp.org/?a=blobdiff_plain;f=devtools%2Fcheck-git-log.sh;h=23c6a7d9bbba12cfd164eefc618b0bbed5a7c527;hb=2fbada91545c004f04449500af0c6276900317ab;hp=885d444b3df9fb77e808f4edcd7e4dfae365f034;hpb=8b51fbc09e44ceaca0d32139bbc558d8cd5d06dd;p=dpdk.git

diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 885d444b3d..23c6a7d9bb 100755
--- 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[:/]' \