diff --git a/scripts/check_format.sh b/scripts/check_format.sh index f7e718d8e..b92174e4a 100755 --- a/scripts/check_format.sh +++ b/scripts/check_format.sh @@ -88,6 +88,8 @@ echo -n "Checking comment style..." git grep --line-number -e '/[*][^ *-]' -- '*.[ch]' > comment.log || true git grep --line-number -e '[^ ][*]/' -- '*.[ch]' ':!lib/vhost/rte_vhost*/*' >> comment.log || true git grep --line-number -e '^[*]' -- '*.[ch]' >> comment.log || true +git grep --line-number -e '\s//' -- '*.[ch]' >> comment.log || true +git grep --line-number -e '^//' -- '*.[ch]' >> comment.log || true if [ -s comment.log ]; then echo " Incorrect comment formatting detected"