www

commit 2643d7c8f84aa87d0283f841a4962a805a9f832c
parent 72bd18cd1ae3700a8f6ec1c53b904153d39fcd84
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Thu, 23 Mar 2017 16:38:54 -0400

exclude rackunit-typechecking from compile

Diffstat:
M
turnstile/info.rkt
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/turnstile/info.rkt b/turnstile/info.rkt
@@ -7,6 +7,7 @@
   '("examples/rosette"
     "examples/fomega3.rkt"
     "examples/tests"
+    "rackunit-typechecking.rkt"
     "examples/trivial.rkt")) ; needs typed racket
 
 (define test-include-paths
@@ -19,8 +20,7 @@
     "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
     "examples/fomega3.rkt"
     "examples/tests/fomega3-tests.rkt"
-    "examples/tests/mlish/bg/README.md"
-    "rackunit-typechecking.rkt"))
+    "examples/tests/mlish/bg/README.md"))
 
 (define test-timeouts
   '(("examples/tests/mlish/generic.mlish" 300)