From 1d9757df02494ca743ef61c296ef1e2c6d0055c9 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Sun, 25 Apr 2010 06:30:00 -0500 Subject: [PATCH] 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 f75eb1dcdd..e132d697ac 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 180 +"collects/redex/tests/run-tests.ss" drdr:command-line "mred-text ~s --examples --no-bitmaps" drdr:timeout 210 "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)