From 1cf22896ce98ae95af9688a0ec8f2c5ecb4b0c04 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Mon, 26 Apr 2010 09:39:04 -0500 Subject: [PATCH] Further increases DrDr timeout for Redex tests --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index e132d697ac..566a661a0c 100644 --- a/collects/meta/props +++ b/collects/meta/props @@ -1097,7 +1097,7 @@ path/s is either such a string or a list of them. "collects/redex/tests/matcher-test.ss" drdr:command-line "mzc ~s" "collects/redex/tests/pict-test.ss" drdr:command-line "mzc ~s" "collects/redex/tests/rg-test.ss" drdr:command-line "mzc ~s" -"collects/redex/tests/run-tests.ss" drdr:command-line "mred-text ~s --examples --no-bitmaps" drdr:timeout 210 +"collects/redex/tests/run-tests.ss" drdr:command-line "mred-text ~s --examples --no-bitmaps" drdr:timeout 240 "collects/redex/tests/term-test.ss" drdr:command-line "mzc ~s" "collects/redex/tests/tl-test.ss" drdr:command-line "mzc ~s" "collects/repos-time-stamp" responsible (eli)