nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-28 02:57:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Auto merge of #3512 - RalfJung:miri-script-build, r=RalfJung

Browse Source 
make miri-script a workspace root

This is needed to make miri-script build on stable (as is done by the `./miri` script) when the parent package uses unstable cargo features.
This commit is contained in:
bors 2024-04-25 07:20:16 +00:00
commit e22a73c6d0
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/miri-script/Cargo.toml
View File

@ -8,7 +8,9 @@ version = "0.1.0"
default-run = "miri-script"
edition = "2021"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[workspace]
# We make this a workspace root so that cargo does not go looking in ../Cargo.toml for the workspace root.
# This is needed to make this package build on stable when the parent package uses unstable cargo features.
[dependencies]
which = "4.4"