From d1f78ae3789677e6033fc589634c94e499b950bf Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 28 Jul 2009 14:35:38 +0000 Subject: [PATCH] Split collection names that come from specified collections on "/"s. The code in "setup-cmdline.ss" makes sure that they all look like a require specification, which means that they *are* separated by "/"s, and not, for example, "\"s on windows. svn: r15598 --- collects/setup/setup-unit.ss | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/collects/setup/setup-unit.ss b/collects/setup/setup-unit.ss index 9567df812f..adc700f7ce 100644 --- a/collects/setup/setup-unit.ss +++ b/collects/setup/setup-unit.ss @@ -379,8 +379,13 @@ (if no-specific-collections? all-collections (check-again-all - (filter-map (lambda (c) (collection->cc (map string->path c))) - x-specific-collections)))))) + (filter-map + (lambda (c) + (collection->cc (append-map (lambda (s) + (map string->path + (regexp-split #rx"/" s))) + c))) + x-specific-collections)))))) (set! planet-dirs-to-compile (sort-collections