diff --git a/collects/setup/setup-unit.rkt b/collects/setup/setup-unit.rkt index 0b37db37a3..5ced5b7c48 100644 --- a/collects/setup/setup-unit.rkt +++ b/collects/setup/setup-unit.rkt @@ -404,6 +404,7 @@ (define (build-collection-tree cc) (define (make-child-cc parent-cc name) (collection-cc! (append (cc-collection parent-cc) (list name)) + #:path (build-path (cc-path parent-cc) name) #:info-root (cc-info-root cc) #:info-path (cc-info-path cc) #:info-path-mode (cc-info-path-mode cc)