From 296097c871453bf246d6b849709c7f60485ef092 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 5 Aug 2013 14:22:52 -0400 Subject: [PATCH] Increase DrDr benchmark timeout --- pkgs/plt-services/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/plt-services/meta/props b/pkgs/plt-services/meta/props index f6ad3e9797..0455bb3f9a 100755 --- a/pkgs/plt-services/meta/props +++ b/pkgs/plt-services/meta/props @@ -1057,7 +1057,7 @@ path/s is either such a string or a list of them. "pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt" drdr:timeout 480 drdr:random #t "pkgs/racket-pkgs/racket-test/tests/future/timing-test.rkt" drdr:random #t "pkgs/racket-pkgs/racket-test/tests/generic" responsible (asumu stamourv) -"pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt" drdr:timeout 250 drdr:random #t +"pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt" drdr:timeout 300 drdr:random #t "pkgs/racket-pkgs/racket-test/tests/info.rkt" responsible (eli) "pkgs/racket-pkgs/racket-test/tests/match" responsible (samth) "pkgs/racket-pkgs/racket-test/tests/net" responsible (jay eli mflatt robby)