diff options
| -rwxr-xr-x | tools/patcheck | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/patcheck b/tools/patcheck index 87f412e731..65beca9db9 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 |