diff options
Diffstat (limited to 'TOOLS')
| -rwxr-xr-x | TOOLS/checktree.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TOOLS/checktree.sh b/TOOLS/checktree.sh index d60ff3ff37..dcd2b8609f 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -74,7 +74,7 @@ all_filenames() { if [ "$_svn" == "no" ]; then find . -type f \ | grep -v "\.\#\|\~$\|\.depend\|\/\.svn\/\|config.mak\|^\./config\.h" \ - | grep -v "^\./version\.h\|\.o$\|\.a$" + | grep -v "^\./version\.h\|\.o$\|\.a$\|configure.log\|^\./help_mp.h" else list_svn . fi |