From 83a95970b616ff5b088d84e00ef760d1efe64aa7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 20 Jun 2010 11:23:34 -0500 Subject: [PATCH] when planet installs things, it now resets the use-compiled-file-paths to its default value --- collects/planet/resolver.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/planet/resolver.rkt b/collects/planet/resolver.rkt index a0c3b7c2b9..a27bed9add 100644 --- a/collects/planet/resolver.rkt +++ b/collects/planet/resolver.rkt @@ -586,7 +586,8 @@ subdirectory. [rud (dynamic-require 'setup/plt-single-installer 'reindex-user-documentation)] [msfh (dynamic-require 'compiler/cm 'manager-skip-file-handler)]) - (parameterize ([msfh (manager-skip-file-handler)]) + (parameterize ([msfh (manager-skip-file-handler)] + [use-compiled-file-paths (list (string->path "compiled"))]) (ipp path the-dir (list owner pkg-name extra-path maj min)) (unless was-nested?