mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
dist/tools: jlink: use GDB as default for DBG
This commit is contained in:
parent
ee3196a6b6
commit
c04d831754
4
dist/tools/jlink/jlink.sh
vendored
4
dist/tools/jlink/jlink.sh
vendored
@ -32,6 +32,7 @@
|
|||||||
# options:
|
# options:
|
||||||
# GDB_PORT: port opened for GDB connections
|
# GDB_PORT: port opened for GDB connections
|
||||||
# TELNET_PORT: port opened for telnet connections
|
# TELNET_PORT: port opened for telnet connections
|
||||||
|
# DBG: debugger client command, default: 'gdb -q'
|
||||||
# TUI: if TUI!=null, the -tui option will be used
|
# TUI: if TUI!=null, the -tui option will be used
|
||||||
# ELFFILE: path to the ELF file to debug
|
# ELFFILE: path to the ELF file to debug
|
||||||
#
|
#
|
||||||
@ -133,8 +134,7 @@ test_serial() {
|
|||||||
|
|
||||||
test_dbg() {
|
test_dbg() {
|
||||||
if [ -z "${DBG}" ]; then
|
if [ -z "${DBG}" ]; then
|
||||||
echo "Error: No debugger defined in DBG env var"
|
DBG="${GDB}"
|
||||||
exit 1
|
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user