make sure tests pass even with RUST_TEST_NOCAPTURE set

2020-09-12 14:24:56 +02:00 · 2020-09-12 14:24:56 +02:00 · 05f5c3d078
commit 05f5c3d078
parent 18483b4d5e
1 changed files with 1 additions and 0 deletions
--- a/test-cargo-miri/run-test.py
+++ b/test-cargo-miri/run-test.py
@ -102,6 +102,7 @@ def test_cargo_miri_test():
    )

 os.chdir(os.path.dirname(os.path.realpath(__file__)))
+os.environ["RUST_TEST_NOCAPTURE"] = "0" # this affects test output, so make sure it is not set

 target_str = " for target {}".format(os.environ['MIRI_TEST_TARGET']) if 'MIRI_TEST_TARGET' in os.environ else ""
 print(CGREEN + CBOLD + "## Running `cargo miri` tests{}".format(target_str) + CEND)