diff options
author | Tim Newsome <tim@sifive.com> | 2021-12-03 14:34:07 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-03 14:34:07 -0800 |
commit | cb4876d80cbeaa70bba326a9411c875b48d314e4 (patch) | |
tree | aa1ba77b385063e07fc62f2d5697d000530bc92b /.github | |
parent | eb788953a52d0438b6aba7ad31c39eaa2d5251f2 (diff) | |
parent | f631c906fa5c2bc23fdd595886d849a258413944 (diff) | |
download | riscv-openocd-cb4876d80cbeaa70bba326a9411c875b48d314e4.zip riscv-openocd-cb4876d80cbeaa70bba326a9411c875b48d314e4.tar.gz riscv-openocd-cb4876d80cbeaa70bba326a9411c875b48d314e4.tar.bz2 |
Merge pull request #665 from riscv/examined
Don't reexamine targets until it's time.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions