Browse Source
explorer with clif fix: cache does not emit clif files (#9027)
pull/9030/head
Vulcain
3 months ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with
1 additions and
0 deletions
-
src/commands/explore.rs
|
|
@ -55,6 +55,7 @@ impl ExploreCommand { |
|
|
let clif_dir = if let Some(Strategy::Cranelift) | None = self.common.codegen.compiler { |
|
|
let clif_dir = if let Some(Strategy::Cranelift) | None = self.common.codegen.compiler { |
|
|
let clif_dir = tempdir()?; |
|
|
let clif_dir = tempdir()?; |
|
|
config.emit_clif(clif_dir.path()); |
|
|
config.emit_clif(clif_dir.path()); |
|
|
|
|
|
config.disable_cache(); // cache does not emit clif
|
|
|
Some(clif_dir) |
|
|
Some(clif_dir) |
|
|
} else { |
|
|
} else { |
|
|
None |
|
|
None |
|
|
|
