doc: Remove outdated '-pipe' option

Change-Id: Ie3a7a3aaf69485f16b2447bd1dfa7622b584c7c0
Signed-off-by: Marc Schink <dev@zapb.de>
Reviewed-on: https://review.openocd.org/c/openocd/+/8348
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
This commit is contained in:
Marc Schink 2024-06-19 08:52:04 +02:00 committed by Antonio Borneo
parent 2fe392ef50
commit 31e0fc4a7a
1 changed files with 0 additions and 2 deletions

View File

@ -2179,8 +2179,6 @@ only during configuration (before those ports are opened).
For reasons including security, you may wish to prevent remote For reasons including security, you may wish to prevent remote
access using one or more of these ports. access using one or more of these ports.
In such cases, just specify the relevant port number as "disabled". In such cases, just specify the relevant port number as "disabled".
If you disable all access through TCP/IP, you will need to
use the command line @option{-pipe} option.
You can request the operating system to select one of the available You can request the operating system to select one of the available
ports for the server by specifying the relevant port number as "0". ports for the server by specifying the relevant port number as "0".