Skip to content

Commit 569634e

Browse files
committed
Merge from rustc
2 parents 51b7123 + 79f7dbf commit 569634e

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/bin/miri.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -290,7 +290,8 @@ fn run_compiler(
290290
let exit_code = rustc_driver::catch_with_exit_code(move || {
291291
rustc_driver::RunCompiler::new(&args, callbacks)
292292
.set_using_internal_features(using_internal_features)
293-
.run()
293+
.run();
294+
Ok(())
294295
});
295296
std::process::exit(exit_code)
296297
}

0 commit comments

Comments
 (0)