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 &&