omit files

2016-03-03 12:24:08 -08:00 · 2016-03-03 12:24:08 -08:00 · ac516df241
commit ac516df241
parent 2a426e21ef
1 changed files with 2 additions and 1 deletions
--- a/br/info.rkt
+++ b/br/info.rkt
@ -1,2 +1,3 @@
 #lang info
-(define test-omit-paths 'all)
+(define test-omit-paths '("ex"))
+(define compile-omit-paths '("ex"))