diff options
| author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-05-20 22:42:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 22:42:03 +0000 |
| commit | 9946f2062837098088e4c9701614a2eeffaa921b (patch) | |
| tree | 58715bf50c1537c66645b4e2f1ec0e0ba6663bd5 /doc/sphinx/userguide | |
| parent | 615a076df87a021c07e6e3bfecca3ad4f27a76bb (diff) | |
| parent | e455ead323b4f75286d6607ea28bb091e7ea1df7 (diff) | |
Merge pull request #253 from sifive/update-targets-warn
update-targets.sh warns on tool failure
Diffstat (limited to 'doc/sphinx/userguide')
0 files changed, 0 insertions, 0 deletions