From 7a8b2e333bf009c6b016e3cfbc36cf02853d3abf Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 17 Jul 2013 17:25:30 -0600 Subject: [PATCH] find-relevant-directories: fix 'no-user mode --- racket/lib/collects/setup/getinfo.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/racket/lib/collects/setup/getinfo.rkt b/racket/lib/collects/setup/getinfo.rkt index 1efb3b9577..2fb6d698ee 100644 --- a/racket/lib/collects/setup/getinfo.rkt +++ b/racket/lib/collects/setup/getinfo.rkt @@ -211,8 +211,7 @@ (cons (build-path coll "info-domain" "compiled" "cache.rktd") coll)) (if (eq? key 'no-user) - (remove* (get-main-collects-search-dirs) - (current-library-collection-paths)) + (get-main-collects-search-dirs) (current-library-collection-paths))) (map (lambda (base) (cons (build-path base "info-cache.rktd")