Auto merge of #1091 - RalfJung:run-test, r=RalfJung

run-test: make sure the sysroot building output does not distort our tests

Author: bors

test-cargo-miri/run-test.py

@@ -67,6 +67,10 @@ def test_cargo_miri_test():
 
 os.chdir(os.path.dirname(os.path.realpath(__file__)))
 
+if not 'MIRI_SYSROOT' in os.environ:
+    # Make sure we got a working sysroot.
+    # (If the sysroot gets built later when output is compared, that leads to test failures.)
+    subprocess.run(cargo_miri("setup"), check=True)
 test_cargo_miri_run()
 test_cargo_miri_test()