DCIS
/
openocd
mirror of https://github.com/raspberrypi/openocd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

doc: describe tcl port consistently. 

One place described the tcl port as 5555, which was changed in 163bd86071
Reported on IRC.

Change-Id: If740a29443793d6a4d4f8c9db54f0fc8344a6c1c
Signed-off-by: Karl Palsson <karlp@tweak.net.au>
Reviewed-on: https://review.openocd.org/c/openocd/+/7385
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
This commit is contained in:
Karl Palsson 2022-11-29 13:12:14 +00:00 committed by Antonio Borneo
parent 04887d3b68
commit 9501b263e0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/openocd.texi
View File

@ -8523,7 +8523,7 @@ command. All output is relayed through the GDB session.
@item @b{Machine Interface}
The Tcl interface's intent is to be a machine interface. The default Tcl
port is 5555.
port is 6666.
@end itemize