diff options
| author | Ralf Jung <post@ralfj.de> | 2025-01-22 22:49:26 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-01-22 22:49:26 -0700 |
| commit | ee7b83a3b3a98888ef1d73381f923050a19c0c79 (patch) | |
| tree | 54f062fc900e21f132ed2161ffe6b1e50382e172 | |
| parent | 35c1a86f57ddb584c6a2e11168e5f41bfdd537f5 (diff) | |
| download | rust-ee7b83a3b3a98888ef1d73381f923050a19c0c79.tar.gz rust-ee7b83a3b3a98888ef1d73381f923050a19c0c79.zip | |
fix no-std-smoke test
| -rw-r--r-- | src/tools/miri/test-cargo-miri/no-std-smoke/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/test-cargo-miri/no-std-smoke/src/main.rs b/src/tools/miri/test-cargo-miri/no-std-smoke/src/main.rs index d9f1b27bf55..aa3faf83f92 100644 --- a/src/tools/miri/test-cargo-miri/no-std-smoke/src/main.rs +++ b/src/tools/miri/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: |