diff options
| author | bors <bors@rust-lang.org> | 2022-11-27 13:31:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-11-27 13:31:05 +0000 |
| commit | a83b105b4c9dc1363c15685e99893a209438dc35 (patch) | |
| tree | 26ac8796aa292ebcda14815012e39e0b25f83e8c /library/std/src/sys/unix/stack_overflow.rs | |
| parent | 9f8df93b09f64269e41c29022e2f86ed1ea33349 (diff) | |
| parent | 958d5918b0a3cf750c4fcf5bf4e584487eeb4552 (diff) | |
| download | rust-a83b105b4c9dc1363c15685e99893a209438dc35.tar.gz rust-a83b105b4c9dc1363c15685e99893a209438dc35.zip | |
Auto merge of #2685 - Nilstrieb:cargo-miri-wasm, r=RalfJung
Use `.wasm` extension when building for wasm in cargo-miri WASM uses the `.wasm` file extension for its binaries (just like how windows uses `.exe`), so we need to set that as well. I'm not sure whether gating this behind the wasm target is a good idea, maybe it makes more sense to always do it just like on windows.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions