changeset 19078:4361813f6cae

also omit configure.log and the generated help_mp.h from files to check
author ivo
date Fri, 14 Jul 2006 13:34:44 +0000
parents e3f7f221f75e
children 0ba020beb2e4
files TOOLS/checktree.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/checktree.sh	Fri Jul 14 12:57:37 2006 +0000
+++ b/TOOLS/checktree.sh	Fri Jul 14 13:34:44 2006 +0000
@@ -74,7 +74,7 @@
     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