diff --git a/travis.sh b/travis.sh index dc98ca44ae58..4df12613fb83 100755 --- a/travis.sh +++ b/travis.sh @@ -17,6 +17,8 @@ echo # Test function run_tests { ./miri test + # "miri test" has built the sysroot for us, now this should pass without + # any interactive questions. test-cargo-miri/run-test.py }