From 6e7e8e4147c7b42478c0ec6304a3f521fe3fd2ca Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 26 Jun 2019 12:52:13 -0700 Subject: [PATCH] omit some setup --- brag-lib/brag/info.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/brag-lib/brag/info.rkt b/brag-lib/brag/info.rkt index be52398..d5158ce 100755 --- a/brag-lib/brag/info.rkt +++ b/brag-lib/brag/info.rkt @@ -1,3 +1,4 @@ #lang info -(define test-omit-paths '("examples/simple-line-drawing/examples/letter-i.rkt")) \ No newline at end of file +(define test-omit-paths '("examples/simple-line-drawing/examples/letter-i.rkt")) +(define compile-omit-paths '("test" "examples")) \ No newline at end of file