From 31e0fc4a7aa049d5cc66a48e2353693b3d52b4a7 Mon Sep 17 00:00:00 2001 From: Marc Schink Date: Wed, 19 Jun 2024 08:52:04 +0200 Subject: [PATCH] doc: Remove outdated '-pipe' option Change-Id: Ie3a7a3aaf69485f16b2447bd1dfa7622b584c7c0 Signed-off-by: Marc Schink Reviewed-on: https://review.openocd.org/c/openocd/+/8348 Tested-by: jenkins Reviewed-by: Antonio Borneo --- doc/openocd.texi | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/openocd.texi b/doc/openocd.texi index 667c7a693..267430d1f 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -2179,8 +2179,6 @@ only during configuration (before those ports are opened). For reasons including security, you may wish to prevent remote access using one or more of these ports. 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 ports for the server by specifying the relevant port number as "0".