From 0221589e100c7275bfe1cc4e789ab5dbc312b959 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Sun, 29 Aug 2010 09:13:40 -0500 Subject: [PATCH] Increases racket-vs-redex timeout even more --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 845c8fd4b4..3a43aff321 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1189,7 +1189,7 @@ path/s is either such a string or a list of them. "collects/redex/examples/letrec.rkt" drdr:command-line (mzc *) "collects/redex/examples/omega.rkt" drdr:command-line (mzc *) "collects/redex/examples/r6rs/r6rs-tests.rkt" drdr:command-line (mzc *) -"collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 120 +"collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180 "collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *) "collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *) "collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)