# HG changeset patch
# User ivo
# Date 1152884084 0
# Node ID 4361813f6caeb3c96b7da2d557263c1521cd04ac
# Parent  e3f7f221f75ec4629ae9a37faf423e3302af027d
also omit configure.log and the generated help_mp.h from files to check

diff -r e3f7f221f75e -r 4361813f6cae TOOLS/checktree.sh
--- 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