also show the output (though we lost the interleaving)

This commit is contained in:
Ralf Jung 2018-07-26 17:08:29 +02:00
parent ee98799185
commit 5bd02b7c07

View file

@ -33,6 +33,7 @@ script:
# Test `cargo miri`
cd cargo-miri-test &&
MIRI_SYSROOT=~/.xargo/HOST cargo miri -q -- -Zmiri-start-fn >stdout.real 2>stderr.real &&
cat stdout.real stderr.real &&
# Test `cargo miri` output.
diff stdout.ref stdout.real &&
diff stderr.ref stderr.real &&