revise the way setup-plt crawls over the collection trees

svn: r8860

original commit: b76390a4523dd523febeab8f432f0341b6a2d040
This commit is contained in:
Eli Barzilay 2008-03-03 22:04:28 +00:00
parent b858b854d7
commit 206e437ff3
3 changed files with 6 additions and 1 deletions

View File

@ -1 +0,0 @@
#lang setup/infotab

View File

@ -0,0 +1,3 @@
#lang setup/infotab
(define compile-omit-paths '("tests"))

View File

@ -0,0 +1,3 @@
#lang setup/infotab
(define compile-omit-paths 'all)