diff --git a/collects/meta/props b/collects/meta/props index b75ad7e941..6b981dfecb 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1944,8 +1944,8 @@ path/s is either such a string or a list of them. "collects/tests/typed-scheme/fail/with-type3.rkt" responsible (sstrickl) "collects/tests/typed-scheme/nightly-run.rkt" drdr:command-line #f "collects/tests/typed-scheme/optimizer" responsible (stamourv) -"collects/tests/typed-scheme/optimizer/run.rkt" drdr:timeout 600 -"collects/tests/typed-scheme/run.rkt" drdr:command-line (racket "-t" * "--" "--nightly") drdr:timeout 1200 +"collects/tests/typed-scheme/optimizer/run.rkt" drdr:timeout 1200 +"collects/tests/typed-scheme/run.rkt" drdr:command-line (racket "-t" * "--" "--nightly") drdr:timeout 1800 "collects/tests/typed-scheme/xfail" drdr:command-line #f "collects/tests/units" responsible (sstrickl) "collects/tests/units/multi-mod-sigs.rktl" drdr:command-line (racket "-f" *)