From 3a837cdedd782dab48b98eb488c4c8f90c013cd2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 27 May 2019 15:19:53 +0200
Subject: [PATCH] add comment

---
 travis.sh | 2 ++
 1 file changed, 2 insertions(+)

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
 }