From fd869283209fa0b5e16342bb0e8a8020d254111e Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 24 Nov 2012 07:34:03 -0700 Subject: [PATCH] Changing the timeout for this file for DrDr Before Matthew's change, it takes 7m24s but after it takes 3m9s, at least when I run it manually... for some reason it takes longer when DrDr runs it. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 1982759412..51e8457af3 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1397,7 +1397,7 @@ path/s is either such a string or a list of them. "collects/tests/racket/stress/contract-lifting.rkt" responsible (robby sstrickl) "collects/tests/racket/stress/dict.rkt" drdr:timeout 180 "collects/tests/racket/stress/fuzz.rkt" responsible (samth mflatt) drdr:command-line (racket * "-c") drdr:timeout 300 drdr:random #t -"collects/tests/racket/stress/module-stack.rkt" drdr:timeout 360 +"collects/tests/racket/stress/module-stack.rkt" drdr:timeout 240 "collects/tests/racket/sync.rktl" drdr:command-line #f "collects/tests/racket/syntax.rktl" drdr:command-line #f "collects/tests/racket/thread.rktl" drdr:command-line #f