dist/tools/jlink: fix DBG_PID assignment

RIOT-OS · Sep 29, 2023 · 25013f8 · 25013f8
1 parent 6a826fa
commit 25013f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dist/tools/jlink/jlink.sh b/dist/tools/jlink/jlink.sh
@@ -250,7 +250,7 @@ do_debug() {
                            -port '${GDB_PORT}' \
                            -telnetport '${TELNET_PORT}'" &
     # save PID for terminating the server afterwards
-    DBG_PID=$?
+    DBG_PID=$!
     # connect to the GDB server
     ${DBG} -q ${TUI} -ex "tar ext :${GDB_PORT}" ${ELFFILE}
     # clean up