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 " # -----------------------------------------------------------------------------