mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make miri-script a workspace root

Browse Source
This commit is contained in:
Ralf Jung 2024-04-24 18:05:03 +02:00
parent c1073fb36e
commit 8c24fe1085
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"