From 98a0b74b4f2684b209b2f882944fd7bdf92cf337 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 5 Feb 2012 18:51:55 -0600 Subject: [PATCH] up the timeout for tut.scrbl --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index aad9355dd4..f172b21c84 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1233,6 +1233,7 @@ path/s is either such a string or a list of them. "collects/redex/private/size-snip.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/private/stepper.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/private/traces.rkt" drdr:command-line (gracket-text "-t" *) +"collects/redex/private/tut.scrbl" drdr:timeout 300 "collects/redex/tests/bitmap-test-util.rkt" drdr:command-line (gracket-text "-t" *) "collects/redex/tests/bitmap-test.rkt" drdr:command-line (mzc "-k" *) "collects/redex/tests/check-syntax-test.rkt" drdr:command-line (mzc *)