From 9ad73bc1e7f6ba2d815e5498c416f16b005ef38e Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Fri, 17 May 2013 21:14:31 -0400 Subject: [PATCH] Gave collects/meta/check-dists more time when run by DrDr. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 13b67e0051..ac0f0e1b95 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -799,7 +799,7 @@ path/s is either such a string or a list of them. "collects/math/tests/matrix-tests.rkt" drdr:timeout 120 "collects/meta" responsible (eli) "collects/meta/build" drdr:command-line #f -"collects/meta/check-dists.rkt" drdr:timeout 480 +"collects/meta/check-dists.rkt" drdr:timeout 1200 "collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line #f "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f