The format change script should not be run by drdr.
This commit is contained in:
parent
f0691d07cc
commit
8c5e215876
|
@ -1949,6 +1949,7 @@ path/s is either such a string or a list of them.
|
|||
"collects/tests/typed-scheme/nightly-run.rkt" drdr:command-line #f
|
||||
"collects/tests/typed-scheme/optimizer" responsible (stamourv)
|
||||
"collects/tests/typed-scheme/optimizer/run.rkt" drdr:timeout 1200
|
||||
"collects/tests/typed-scheme/optimizer/transform.rkt" drdr:command-line #f
|
||||
"collects/tests/typed-scheme/run.rkt" drdr:command-line (racket "-t" * "--" "--nightly") drdr:timeout 1800
|
||||
"collects/tests/typed-scheme/xfail" drdr:command-line #f
|
||||
"collects/tests/units" responsible (sstrickl)
|
||||
|
|
Loading…
Reference in New Issue
Block a user