rust-toolchain/scripts/update-revs.sh

33 lines
978 B
Bash
Raw Normal View History

2021-10-09 07:17:19 +03:00
#!/bin/bash
cd -- "$(dirname -- "${BASH_SOURCE[0]}")/.."
if ! git diff-index --quiet HEAD; then
echo "Not running update-revs.sh because git working directory is dirty" >&2
exit 1
fi
base=$(git rev-parse HEAD)
2022-03-20 04:09:40 +02:00
for rev in 1.{0..70}.0 stable beta nightly; do
2021-10-09 07:17:19 +03:00
echo "Updating $rev branch"
2022-04-25 04:49:29 +03:00
git checkout --quiet "$base"
2021-10-09 07:17:19 +03:00
git branch --quiet --delete --force $rev &>/dev/null || true
sed -i "s/required: true/required: false\n default: $rev/" action.yml
git add action.yml
git commit --quiet --message "toolchain: $rev"
git checkout --quiet -b $rev
done
2022-04-25 04:49:29 +03:00
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
git add action.yml
git commit --quiet --message "components: $tool"
git checkout --quiet -b $tool
done
2022-04-25 04:49:29 +03:00
git checkout --quiet "$base"