debug

rust-lang · Jul 28, 2019 · 7c3e3e5 · 7c3e3e5
1 parent b4f2099
commit 7c3e3e5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/travis.sh b/travis.sh
@@ -17,10 +17,11 @@ echo
 
 # Test
 function run_tests {
-    ./miri test
+    # FIXME debugging
+    # ./miri test
     # "miri test" has built the sysroot for us, now this should pass without
     # any interactive questions.
-    test-cargo-miri/run-test.py
+    MIRI_LOG=info test-cargo-miri/run-test.py
 }
 
 echo "Test host architecture"