2023-09-20 16:19:21 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
2023-09-21 01:11:56 +00:00
|
|
|
set_rust_to_1671() {
|
|
|
|
if rustup toolchain list | grep -q "1.67.1"; then
|
|
|
|
rustup default 1.67.1
|
2023-09-20 16:19:21 +00:00
|
|
|
else
|
2023-09-21 01:11:56 +00:00
|
|
|
echo "Rust version 1.67.1 is not installed. Please install it using 'rustup install 1.67.1'." >&2
|
2023-09-20 16:19:21 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
set_rust_to_1720() {
|
|
|
|
if rustup toolchain list | grep -q "1.72.0"; then
|
|
|
|
rustup default 1.72.0
|
|
|
|
else
|
2023-09-20 16:32:07 +00:00
|
|
|
echo "Rust version 1.72.0 is not installed. Please install it using 'rustup install 1.72.0'." >&2
|
2023-09-20 16:19:21 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
}
|