fix garbled command line
This commit is contained in:
parent
63b8d3dd91
commit
b194b7791f
|
@ -1435,7 +1435,7 @@ path/s is either such a string or a list of them.
|
|||
"collects/tests/drracket/leaky-frame.rkt" drdr:command-line (gracket *)
|
||||
"collects/tests/drracket/memory-log.rkt" drdr:command-line (gracket *)
|
||||
"collects/tests/drracket/module-lang-test-utils.rkt" drdr:command-line (gracket-text "-t" *)
|
||||
"collects/tests/drracket/module-lang-test.rkt" drdr:command-line (gracket "-j" "-e" "(void" "(putenv" "\"PLTDRDRTEST\"" "\"yes\"))" "-t" *) drdr:timeout 300
|
||||
"collects/tests/drracket/module-lang-test.rkt" drdr:command-line (gracket "-j" "-e" "(void (putenv \"PLTDRDRTEST\" \"yes\"))" "-t" *) drdr:timeout 300
|
||||
"collects/tests/drracket/randomly-click-language-dialog.rkt" drdr:command-line (mzc *)
|
||||
"collects/tests/drracket/randomly-click-preferences.rkt" drdr:command-line (mzc *)
|
||||
"collects/tests/drracket/randomly-click.rkt" drdr:command-line #f
|
||||
|
|
Loading…
Reference in New Issue
Block a user