From 9a0f05d00dac7c1fef757f317c4f6f0c5caa5fe8 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Tue, 31 Jan 2017 12:09:44 -0800
Subject: [PATCH] Speed up the travis clippy installation

---
 travis.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis.sh b/travis.sh
index f37a7a07..7c981c60 100755
--- a/travis.sh
+++ b/travis.sh
@@ -19,7 +19,7 @@ channel() {
 if [ -n "${CLIPPY}" ]; then
     if [ -n "${TRAVIS}" ]; then
         # cached installation will not work on a later nightly
-        cargo install clippy --force
+        cargo install clippy --debug --force
     fi
 
     cd "$DIR/serde"