changeset 16405:13ac8d0ba7fd

10l
author ivo
date Tue, 06 Sep 2005 15:30:12 +0000
parents 4a1faa9c8f07
children c2cd00bfa3c0
files TOOLS/checktree.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/TOOLS/checktree.sh	Tue Sep 06 15:15:27 2005 +0000
+++ b/TOOLS/checktree.sh	Tue Sep 06 15:30:12 2005 +0000
@@ -172,7 +172,7 @@
         disable_all_tests
         ;;
     -none)
-        disable_all
+        disable_all_tests
         ;;
     -*)
         echo "unknown option: $i" >&2