mirror of
https://github.com/dtolnay/rust-toolchain.git
synced 2024-11-25 17:49:31 +01:00
Install rust-src component by default for miri toolchain
This commit is contained in:
parent
4cbcd90bcf
commit
2c39999f2b
1 changed files with 3 additions and 1 deletions
|
@ -34,7 +34,9 @@ for tool in clippy miri; do
|
|||
echo "Updating $tool branch"
|
||||
git checkout --quiet --detach nightly
|
||||
git branch --quiet --delete --force $tool &>/dev/null || true
|
||||
sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml
|
||||
default=$tool
|
||||
if [ $tool == miri ]; then default+=,\ rust-src; fi
|
||||
sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml
|
||||
git add action.yml
|
||||
git commit --quiet --message "components: $tool"
|
||||
git checkout --quiet -b $tool
|
||||
|
|
Loading…
Reference in a new issue