suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Configures DrDr to compile, not ignore, that file in the VM model

Browse Source
This commit is contained in:
Casey Klein 2010-11-01 03:34:40 -05:00
parent eb540bc044
commit f346b246af
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/meta/props
View File

@ -1202,7 +1202,7 @@ path/s is either such a string or a list of them.
"collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180 "collects/redex/examples/r6rs/racket-vs-redex.rkt" drdr:timeout 180
"collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *) "collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (mzc *)
"collects/redex/examples/racket-machine/examples.rkt" drdr:command-line (gracket * "--no-pop-ups") "collects/redex/examples/racket-machine/examples.rkt" drdr:command-line (gracket * "--no-pop-ups")
"collects/redex/examples/racket-machine/impl-exec.rkt" drdr:command-line #f "collects/redex/examples/racket-machine/impl-exec.rkt" drdr:command-line (raco "make" *)
"collects/redex/examples/racket-machine/randomized-tests.rkt" drdr:command-line (racket "-t" * "-m") drdr:timeout 300 "collects/redex/examples/racket-machine/randomized-tests.rkt" drdr:command-line (racket "-t" * "-m") drdr:timeout 300
"collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *) "collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *)
"collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *) "collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)