diff options
-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 7021f173be..6dcb6c1b24 100755 --- a/TOOLS/checktree.sh +++ b/TOOLS/checktree.sh @@ -30,7 +30,7 @@ # All yes/no flags. Spaces around flagnames are important! testflags=" spaces extensions crlf tabs trailws rcsid oll charset stupid gnu \ -res depr" +res depr " allflags="$testflags showcont color head svn " # ----------------------------------------------------------------------------- |