Update README_TRAVIS.md

adkian-sifive · May 8, 2020 · 5b65dea · 5b65dea
1 parent 2348e98
commit 5b65dea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README_TRAVIS.md b/README_TRAVIS.md
@@ -1,6 +1,6 @@
 # Travis Notes for Administrators
 
-Administrators: Are PRs taking > 1 hr to run through Travis? If you look at the Travis logs is it building `rocket-tools`?
+Administrators: Are PRs taking > 1 hr to run through Travis? If you look at the Travis logs is it building `rocket-tools` or `verilator`?
 
 This is because someone committed a PR to `master` which bumped `riscv-tools` and/or `verilator`
 and the master cache needs to be updated.