From db4bd2991b0f99e21cabbb20c37f58237b0c6002 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 22 Jan 2025 22:49:26 -0700 Subject: [PATCH] fix no-std-smoke test --- test-cargo-miri/no-std-smoke/src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/test-cargo-miri/no-std-smoke/src/main.rs b/test-cargo-miri/no-std-smoke/src/main.rs index d9f1b27bf5..aa3faf83f9 100644 --- a/test-cargo-miri/no-std-smoke/src/main.rs +++ b/test-cargo-miri/no-std-smoke/src/main.rs @@ -1,6 +1,7 @@ // Copied from tests/pass/no-std.rs #![no_std] +#![no_main] // Plumbing to let us use `writeln!` to host stdout: