Upgrade xargo if old (#6869)

This commit is contained in:
Jack May 2019-11-11 12:58:24 -08:00 committed by GitHub
parent 4be646c695
commit 91cfa0aac9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 5 deletions

View File

@ -22,11 +22,9 @@ download() {
wget "${args[@]}"
}
# Install xargo
if [[ ! -r xargo.md ]]; then
cargo install xargo
xargo --version > xargo.md 2>&1
fi
# Install or upgrade xargo
cargo +nightly install xargo -Z install-upgrade
xargo --version > xargo.md 2>&1
# Install Criterion
version=v2.3.2