log TOOLS/checktree.sh @ 37195:ac6c37d85d65 default tip

age author description
Mon, 14 Jun 2010 15:17:48 +0000 diego Rename configure.log file to the more standard name config.log.
Mon, 07 Jul 2008 09:32:21 +0000 diego Run bash-specific shell scripts with bash, not sh.
Wed, 05 Dec 2007 23:44:31 +0000 ivo suppress silly messages when checktree is not called from the root of the tree
Wed, 05 Dec 2007 23:41:59 +0000 ivo only check source code for gnuisms
Wed, 05 Dec 2007 23:39:01 +0000 ivo simpler and more easily expandable test whether we need a shortlist that
Wed, 05 Dec 2007 23:36:03 +0000 ivo test for presence of .svn directory if we are supposed to traverse the tree
Wed, 05 Dec 2007 17:42:56 +0000 ivo when gathering the list of files to check via svn info, also include
Mon, 03 Dec 2007 21:45:43 +0000 ivo cosmetics/indentation
Mon, 03 Dec 2007 21:43:48 +0000 ivo when gathering the list of files to check via svn info, also include
Mon, 03 Dec 2007 21:40:54 +0000 ivo add functions that are not specifically marked as being deprecated or obsolete,
Fri, 30 Nov 2007 23:02:32 +0000 ivo 10l for me. I should read my own comments just above it ;)
Fri, 30 Nov 2007 23:01:30 +0000 ivo less code for initializing default settings
Fri, 30 Nov 2007 22:52:56 +0000 ivo add test for deprecated and obsolete functions
Tue, 31 Jul 2007 15:10:10 +0000 ivo Make the printoption function take the default values from the variable
Tue, 31 Jul 2007 14:51:56 +0000 ivo cosmetics, indentation