File tree 1 file changed +2
-3
lines changed
1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -44,8 +44,7 @@ pub fn flagsplit(flags: &str) -> Vec<String> {
44
44
fn build_native_lib ( ) -> PathBuf {
45
45
let cc = env:: var ( "CC" ) . unwrap_or_else ( |_| "cc" . into ( ) ) ;
46
46
// Target directory that we can write to.
47
- let so_target_dir =
48
- Path :: new ( & env:: var_os ( "CARGO_TARGET_DIR" ) . unwrap ( ) ) . join ( "miri-native-lib" ) ;
47
+ let so_target_dir = Path :: new ( env ! ( "CARGO_TARGET_TMPDIR" ) ) . join ( "miri-native-lib" ) ;
49
48
// Create the directory if it does not already exist.
50
49
std:: fs:: create_dir_all ( & so_target_dir)
51
50
. expect ( "Failed to create directory for shared object file" ) ;
@@ -101,7 +100,7 @@ fn miri_config(
101
100
let mut config = Config {
102
101
target : Some ( target. to_owned ( ) ) ,
103
102
program,
104
- out_dir : PathBuf :: from ( std :: env:: var_os ( "CARGO_TARGET_DIR" ) . unwrap ( ) ) . join ( "miri_ui" ) ,
103
+ out_dir : PathBuf :: from ( env ! ( "CARGO_TARGET_TMPDIR" ) ) . join ( "miri_ui" ) ,
105
104
threads : std:: env:: var ( "MIRI_TEST_THREADS" )
106
105
. ok ( )
107
106
. map ( |threads| NonZero :: new ( threads. parse ( ) . unwrap ( ) ) . unwrap ( ) ) ,
You can’t perform that action at this time.
0 commit comments