diff --git a/collects/meta/props b/collects/meta/props index 414d0ab1ac..e980324969 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1461,7 +1461,7 @@ path/s is either such a string or a list of them. "collects/tests/drracket/teaching-lang-coverage.rkt" responsible (robby matthias) drdr:command-line (gracket *) "collects/tests/drracket/teaching-lang-save-file.rkt" responsible (robby matthias) drdr:command-line (gracket *) "collects/tests/drracket/teachpack.rkt" responsible (robby matthias) drdr:command-line (gracket *) -"collects/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (gracket *) drdr:timeout 240 +"collects/tests/drracket/test-engine-test.rkt" responsible (sperber) drdr:command-line (gracket *) drdr:timeout 480 "collects/tests/drracket/time-keystrokes.rkt" drdr:command-line (gracket-text "-t" *) "collects/tests/eli-tester.rkt" responsible (eli) "collects/tests/eopl" responsible (dvanhorn)