From 41be917e019b8bbdfcb6b53e9efdd7d20b07ce2d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 4 Sep 2017 12:42:01 +0200
Subject: [PATCH] make sure the lock file is not changed when building on CI

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index c1d0141986..43858eec57 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -16,7 +16,7 @@ script:
   xargo/build.sh
 - |
   # Test plain miri
-  cargo build --release --features "cargo_miri" &&
+  cargo build --locked --release --features "cargo_miri" &&
   cargo test --release --all &&
   cargo install --features "cargo_miri"
 - |
@@ -31,7 +31,7 @@ script:
 - |
   # test that the rustc_tests binary compiles
   cd rustc_tests &&
-  cargo build --release &&
+  cargo build --locked --release &&
   cd ..
 notifications:
   email: