1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 06:23:53 +01:00

Merge pull request #15456 from rdagher/master

dist/tools/jlink: debugserver test_config prior test_version
This commit is contained in:
Bas Stottelaar 2020-11-17 19:59:26 +01:00 committed by GitHub
commit f00605efc3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -233,9 +233,9 @@ do_debug() {
}
do_debugserver() {
test_config
test_version
test_ports
test_config
test_serial
# start the J-Link GDB server
sh -c "${JLINK_SERVER} ${JLINK_SERIAL_SERVER} \