diff options
| author | Paul Selkirk <paul@psgd.org> | 2020-10-15 14:01:27 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2020-10-15 14:01:27 -0400 |
| commit | 307f309133be53ef440654dff3ee70521bcafb45 (patch) | |
| tree | 009afed23c5a84e3f6242b2ebc8bf4ddf9bcf028 /libraries/mbed/api | |
| parent | e7aec24d13602c3d4fccfcbe04ac4da375aa7b28 (diff) | |
OpenOCD versions since at least 0.9.0 (May 2015) actually do need the
'exit' command to terminate the script. Hopefully we're all past using
Debian Jessie by now?
Diffstat (limited to 'libraries/mbed/api')
0 files changed, 0 insertions, 0 deletions