up the timeout for tut.scrbl
This commit is contained in:
parent
3f6a835572
commit
98a0b74b4f
|
@ -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 *)
|
||||
|
|
Loading…
Reference in New Issue
Block a user