'checker' is very slow!

git-svn-id: file:///home/svn/build-farm/trunk@451 1e5ffdc8-eadd-0310-9daa-9cb4117fe24b

diff --git a/build_test.fns b/build_test.fns
index d019a9b0e10a64666fe8e8c4da865b1579f0dc58..ad5728d499c2be661b2b2f78b61907f509acc013 100644 (file)
--- a/build_test.fns
+++ b/build_test.fns
@@ -165,7 +165,9 @@ do_make() {
   # some trees don't need as much time
   case "$tree" in
        rsync | tdb | talloc | libreplace | ccache | distcc)
-         MMTIME=`expr $MMTIME / 5`
+         if [ "$compiler" != "checker" ]; then
+             MMTIME=`expr $MMTIME / 5`
+         fi
          ;;
   esac