From df85298c5a42a764805c2a24a64f2d08049404e9 Mon Sep 17 00:00:00 2001
From: Jonas Schievink <jonasschievink@gmail.com>
Date: Fri, 22 Sep 2017 20:20:13 +0200
Subject: [PATCH] Pin Travis to Xargo 0.3.8

---
 ci/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/install.sh b/ci/install.sh
index efb4882830..dd7de9e19b 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
             ;;