diff --git a/tools/patcheck b/tools/patcheck index 87f412e731f11b0deffb3f788ac22c21d6be83e1..65beca9db93e46454604a3157b6b71e0f0287aab 100755 --- a/tools/patcheck +++ b/tools/patcheck @@ -93,7 +93,7 @@ if test -e $TMP ; then cat $TMP fi -egrep -B2 $OPT '^(\+|) *'"$ERE_TYPES" $* | egrep -A2 --color=always '(:|-)\+.*[^/]/(\*([^*]|$)|/([^/]|$))' > $TMP && echo -e "\n Non doxy comments" +egrep -B2 $OPT '^(\+|) *('"$ERE_TYPES"'|# *define)' $* | egrep -A2 --color=always '(:|-)\+[^/]*/(\*([^*]|$)|/([^/]|$))' > $TMP && echo -e "\n Non doxy comments" cat $TMP rm $TMP