always show cargo miri output

Author: RalfJung

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