File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -258,7 +258,7 @@ fn exec(mut cmd: Command) -> ! {
258
258
let exit_status = cmd. status ( ) . expect ( "failed to run command" ) ;
259
259
std:: process:: exit ( exit_status. code ( ) . unwrap_or ( -1 ) )
260
260
}
261
- // On Unix targets, actually exec
261
+ // On Unix targets, actually exec.
262
262
// If exec returns, process setup has failed. This is the same error condition as the expect in
263
263
// the non-Unix case.
264
264
#[ cfg( unix) ]
@@ -281,11 +281,9 @@ where
281
281
{
282
282
// Write the bytes we want to send to stdin out to a file
283
283
std:: fs:: write ( & path, input) . unwrap ( ) ;
284
-
285
284
// Open the file for reading, and set our new stdin to it
286
285
let stdin = File :: open ( & path) . unwrap ( ) ;
287
286
cmd. stdin ( stdin) ;
288
-
289
287
// Unlink the file so that it is fully cleaned up as soon as the new process exits
290
288
std:: fs:: remove_file ( & path) . unwrap ( ) ;
291
289
exec ( cmd)
@@ -924,7 +922,7 @@ fn phase_rustc(mut args: impl Iterator<Item = String>, phase: RustcPhase) {
924
922
let mut args = env. args . clone ( ) ;
925
923
for i in 0 ..args. len ( ) {
926
924
if args[ i] == "-o" {
927
- args[ i + 1 ] . push_str ( "_miri " ) ;
925
+ args[ i + 1 ] . push_str ( ".miri " ) ;
928
926
}
929
927
}
930
928
You can’t perform that action at this time.
0 commit comments