Merge pull request #4082 from RalfJung/rustup

Rustup
rust-lang · Dec 9, 2024 · 9ed2fa3 · 9ed2fa3
2 parents 5cc02ed + 569634e
commit 9ed2fa3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-728f2daab42ba8f1b3d5caab62495798d1eabfa1
+1b3fb316751227d30b1523ed0e3f00d83956d4d0
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -290,7 +290,8 @@ fn run_compiler(
     let exit_code = rustc_driver::catch_with_exit_code(move || {
         rustc_driver::RunCompiler::new(&args, callbacks)
             .set_using_internal_features(using_internal_features)
-            .run()
+            .run();
+        Ok(())
     });
     std::process::exit(exit_code)
 }
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		728f2daab42ba8f1b3d5caab62495798d1eabfa1
		1b3fb316751227d30b1523ed0e3f00d83956d4d0