From f346b246aff0142a3ae503172425b162560d3079 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Mon, 1 Nov 2010 03:34:40 -0500 Subject: [PATCH] Configures DrDr to compile, not ignore, that file in the VM model --- collects/meta/props | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 424f7cfabc..0a2ebb3e83 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -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/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/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/reduction-test.rkt" drdr:command-line (mzc *) "collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)