From 7e585ef1472300f1c76c5966e6bd7d5f56c839d2 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Date: Wed, 2 Aug 2017 17:57:55 +0200
Subject: [PATCH] Speed up travis by using release mode

before we built in debug mode for testing,
but then installed miri, which builds in release mode.

So we built in release mode anyway but tested slowly in debug mode
---
 .travis.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 4856f1aad5..46734f6f11 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,8 +15,8 @@ script:
   xargo/build.sh
 - |
   # Test plain miri
-  cargo build &&
-  cargo test &&
+  cargo build --release &&
+  cargo test --release &&
   cargo install
 - |
   # Test cargo miri
@@ -26,11 +26,11 @@ script:
   cd ..
 - |
   # and run all tests with full mir
-  MIRI_SYSROOT=~/.xargo/HOST cargo test
+  MIRI_SYSROOT=~/.xargo/HOST cargo test --release
 - |
   # test that the rustc_tests binary compiles
   cd rustc_tests &&
-  cargo build &&
+  cargo build --release &&
   cd ..
 notifications:
   email: