when planet installs things, it now resets the use-compiled-file-paths to its default value
This commit is contained in:
parent
8ae46ead66
commit
83a95970b6
|
@ -586,7 +586,8 @@ subdirectory.
|
||||||
[rud (dynamic-require 'setup/plt-single-installer
|
[rud (dynamic-require 'setup/plt-single-installer
|
||||||
'reindex-user-documentation)]
|
'reindex-user-documentation)]
|
||||||
[msfh (dynamic-require 'compiler/cm 'manager-skip-file-handler)])
|
[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
|
(ipp path the-dir (list owner pkg-name
|
||||||
extra-path maj min))
|
extra-path maj min))
|
||||||
(unless was-nested?
|
(unless was-nested?
|
||||||
|
|
Loading…
Reference in New Issue
Block a user