mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
30e1d3ef8a
Adopted from openocd script in order to prevent killing the gdb server upon SIGINT. |
||
---|---|---|
.. | ||
jlink.sh | ||
reset.seg | ||
term.seg |