diff options
| author | Tim Newsome <tim@sifive.com> | 2023-07-18 13:26:07 -0700 |
|---|---|---|
| committer | Tim Newsome <tim@sifive.com> | 2023-07-24 08:51:27 -0700 |
| commit | 83425c3163dfd5d1a2ecb5b2afc3b3309bfd8762 (patch) | |
| tree | 8be1054b88f3409bae7cf0444fc72911d64c6786 /.github | |
| parent | e63009ff847638d23dae13dfba1f534ed6ad9473 (diff) | |
| download | riscv-tests-83425c3163dfd5d1a2ecb5b2afc3b3309bfd8762.zip riscv-tests-83425c3163dfd5d1a2ecb5b2afc3b3309bfd8762.tar.gz riscv-tests-83425c3163dfd5d1a2ecb5b2afc3b3309bfd8762.tar.bz2 | |
debug: Tolerate more whitespace from OpenOCD CLI
During the github workflow this character is \n, while on my computer
it's ' '. I'm sure there's a good reason for that, but it doesn't seem
worth figuring out what that reason is.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions