diff options
| author | Ralf Jung <post@ralfj.de> | 2024-04-24 18:05:03 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-04-24 18:05:03 +0200 |
| commit | 8c24fe108530bcba2d61ce1ca0bbc672edb23ca2 (patch) | |
| tree | cbc5a1064b2135ae584f102ba8df3c0199eaf7a3 /src | |
| parent | c1073fb36ec452da49060187326434122baa742c (diff) | |
| download | rust-8c24fe108530bcba2d61ce1ca0bbc672edb23ca2.tar.gz rust-8c24fe108530bcba2d61ce1ca0bbc672edb23ca2.zip | |
make miri-script a workspace root
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/miri-script/Cargo.toml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/Cargo.toml b/src/tools/miri/miri-script/Cargo.toml index aaa788d5846..79d0b13600d 100644 --- a/src/tools/miri/miri-script/Cargo.toml +++ b/src/tools/miri/miri-script/Cargo.toml @@ -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" |