diff --git a/scripts/check_format.sh b/scripts/check_format.sh index 75c492331..72840f340 100755 --- a/scripts/check_format.sh +++ b/scripts/check_format.sh @@ -122,11 +122,11 @@ fi echo -n "Checking comment style..." -git grep --line-number -e '/[*][^ *-]' -- '*.[ch]' > comment.log || true -git grep --line-number -e '[^ ][*]/' -- '*.[ch]' ':!lib/rte_vhost*/*' >> comment.log || true +git grep --line-number -e '\/[*][^ *-]' -- '*.[ch]' > comment.log || true +git grep --line-number -e '[^ ][*]\/' -- '*.[ch]' ':!lib/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 +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"