aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jonas Schievink <jonasschievink@gmail.com> 2017-09-22 20:20:13 +0200
committerGravatar Jonas Schievink <jonasschievink@gmail.com> 2017-09-22 20:20:13 +0200
commitdf85298c5a42a764805c2a24a64f2d08049404e9 (patch)
tree4f08b7ffc78588edb98e355a7456b487006fc2ba
parentb50c9095c0bd7819f722b20804cbc19916eeaa83 (diff)
downloadrtic-df85298c5a42a764805c2a24a64f2d08049404e9.tar.gz
rtic-df85298c5a42a764805c2a24a64f2d08049404e9.tar.zst
rtic-df85298c5a42a764805c2a24a64f2d08049404e9.zip
Pin Travis to Xargo 0.3.8
Diffstat (limited to '')
-rw-r--r--ci/install.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh
index efb48828..dd7de9e1 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -3,8 +3,8 @@ set -euxo pipefail
main() {
case $TARGET in
thumbv*-none-eabi*)
- cargo install --list | grep xargo || \
- cargo install xargo
+ cargo install --list | grep 'xargo v0.3.8' || \
+ cargo install xargo --vers 0.3.8
rustup component list | grep 'rust-src.*installed' || \
rustup component add rust-src
;;