omit some setup

5 years ago · 6e7e8e4147
parent 11539991ec
commit 6e7e8e4147
1 changed files with 2 additions and 1 deletions
--- 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"))
+(define test-omit-paths '("examples/simple-line-drawing/examples/letter-i.rkt"))
+(define compile-omit-paths '("test" "examples"))