diff options
| author | Antonio Borneo <borneo.antonio@gmail.com> | 2020-11-01 00:22:49 +0100 |
|---|---|---|
| committer | Antonio Borneo <borneo.antonio@gmail.com> | 2021-03-19 21:54:46 +0000 |
| commit | d02e29dabaff43bf5fb2aa2ea7778ace2223545d (patch) | |
| tree | 67db03a7a8b59d14713f444b39d5f024642245e5 /doc | |
| parent | cda7bc9a4c6c1b665cfdd055397cc59483e40ef8 (diff) | |
| download | riscv-openocd-d02e29dabaff43bf5fb2aa2ea7778ace2223545d.zip riscv-openocd-d02e29dabaff43bf5fb2aa2ea7778ace2223545d.tar.gz riscv-openocd-d02e29dabaff43bf5fb2aa2ea7778ace2223545d.tar.bz2 | |
openocd: remove command line flag -p/--pipe deprecated in v0.5.0
The OpenOCD command line flag -p/--pipe was marked as deprecated
in release v0.5.0, more than 9 years ago.
We can reasonably expect that in these 9 years any user of OpenOCD
has already migrated to v0.5.0 or to some newer release, thus has
already updated any local/personal script to get rid of the
deprecated message.
Drop the command line flag already deprecated in v0.5.0.
Change-Id: I2faeb592ed2c2f67c2d3227f118093e39fcf4a8c
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/6084
Tested-by: jenkins
Reviewed-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/openocd.texi | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/openocd.texi b/doc/openocd.texi index 640687d..34168fd 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -2155,9 +2155,6 @@ disables the gdb server. When using "pipe", also use log_output to redirect the log output to a file so as not to flood the stdin/out pipes. -The -p/--pipe option is deprecated and a warning is printed -as it is equivalent to passing in -c "gdb_port pipe; log_output openocd.log". - Any other string is interpreted as named pipe to listen to. Output pipe is the same name as input pipe, but with 'o' appended, e.g. /var/gdb, /var/gdbo. |