diff --git a/scripts/checkpatch.sh b/scripts/checkpatch.sh index 85317fea..f1a4e661 100755 --- a/scripts/checkpatch.sh +++ b/scripts/checkpatch.sh @@ -69,6 +69,11 @@ function check_doc() fi # check title + if grep -Eq '### WARN|### WARNING|### Warning|### warn|### warning' ${DIFF_DOC_ALL} ; then + echo "ERROR: ${DOC}: Please use '### Warn'" + exit 1 + fi + if grep -Eq '### NEW|### new' ${DIFF_DOC_ALL} ; then echo "ERROR: ${DOC}: Please use '### New'" exit 1