diff options
Diffstat (limited to 'TOOLS/checktree.sh')
-rwxr-xr-x | TOOLS/checktree.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index 0ab29ccd3b..0decd2da53 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -179,11 +179,13 @@ fi filelist=`all_filenames` -if [ "$_stupid" = "yes" -o "$_res" = "yes" -o "$_depr" = "yes" ] ; then +case "$_stupid$_res$_depr" in + *yes*) # generate 'shortlist' to avoid false positives in xpm files, docs, etc, # when one only needs to check .c and .h files chfilelist=`echo $filelist | tr ' ' '\n' | grep "[\.][ch]$"` -fi + ;; +esac if [ "$_showcont" = "yes" ]; then _diffopts="-u" |