From f34258e2535ecb08c3d0ab4b999933e3623c318f Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 18 May 2012 19:59:43 +0200 Subject: [PATCH] Bump timeout for test-engine-test.rkt to 8 minutes. DrDr keep going over. --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)