diff --git a/collects/meta/props b/collects/meta/props index 5f318abb86..1479813b47 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1566,7 +1566,7 @@ path/s is either such a string or a list of them. "collects/tests/planet/examples/dummy-module.rkt" drdr:command-line #f "collects/tests/planet/examples/scribblings-package" drdr:command-line #f "collects/tests/planet/lang.rkt" drdr:command-line (raco "make" *) -"collects/tests/planet/run-all.rkt" drdr:command-line (racket *) drdr:timeout 2000 +"collects/tests/planet/run-all.rkt" drdr:command-line (racket *) drdr:timeout 4000 "collects/tests/planet/test-docs-complete.rkt" drdr:command-line (raco "make" *) "collects/tests/planet/thread-safe-resolver.rkt" drdr:command-line (raco "make" *) drdr:timeout 1000 "collects/tests/planet/version.rkt" drdr:command-line (raco "make" *)