Don't fiddle with default rust, humans don't like that

2018-12-18 08:14:21 -08:00
parent 62f36037ea
commit 4b831d58b7
2 changed files with 4 additions and 4 deletions
--- a/ci/version-check-with-upgrade.sh
+++ b/ci/version-check-with-upgrade.sh
@@ -6,6 +6,5 @@ cd "$(dirname "$0")"
 channel=${1:-stable}
 if ! ./version-check.sh "$channel"; then
  rustup install "$channel"
-  rustup default "$channel"
  ./version-check.sh "$channel"
 fi