From 33c7ea12661cef5710398f77ffbbe45fd4f6da6f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 30 Oct 2018 10:05:28 +0100
Subject: [PATCH] always show cargo miri output

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

diff --git a/.travis.yml b/.travis.yml
index 095af11627..f771c18c26 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -51,8 +51,10 @@ script:
   if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then
     cargo miri -q
   else
-    cargo miri -q >stdout.real 2>stderr.real &&
-    cat stdout.real stderr.real &&
+    cargo miri -q >stdout.real 2>stderr.real; EXIT=$? &&
+    # Print file names and contents (`cat` would just print contents)
+    tail -n +0 stdout.real stderr.real &&
+    if [[ $EXIT != 0 ]]; then exit; fi &&
     # Test `cargo miri` output. Not on mac because output redirecting doesn't
     # work. There is no error. It just stops CI.
     diff -u stdout.ref stdout.real &&