From: David Marchand Date: Thu, 1 Jul 2021 14:11:31 +0000 (+0200) Subject: devtools: recommend new logtype helpers X-Git-Url: http://git.droids-corp.org/?a=commitdiff_plain;h=5e2226f194027d3b3e35cb5b444d126928433017;p=dpdk.git devtools: recommend new logtype helpers Following commit eeded2044af5 ("log: register with standardized names"), the new helpers should be preferred so that we can maintain a consistent naming for logtypes. Signed-off-by: David Marchand --- diff --git a/devtools/checkpatches.sh b/devtools/checkpatches.sh index c30dadd962..c314d83a29 100755 --- a/devtools/checkpatches.sh +++ b/devtools/checkpatches.sh @@ -126,6 +126,14 @@ check_forbidden_additions() { # -f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \ "$1" || res=1 + # refrain from using RTE_LOG_REGISTER for drivers and libs + awk -v FOLDERS='lib drivers' \ + -v EXPRESSIONS='\\' \ + -v RET_ON_FAIL=1 \ + -v MESSAGE='Using RTE_LOG_REGISTER, prefer RTE_LOG_REGISTER_(DEFAULT|SUFFIX)' \ + -f $(dirname $(readlink -f $0))/check-forbidden-tokens.awk \ + "$1" || res=1 + # SVG must be included with wildcard extension to allow conversion awk -v FOLDERS='doc' \ -v EXPRESSIONS='::[[:space:]]*[^[:space:]]*\\.svg' \