[OpenOCD-commit] Main OpenOCD repository branch, master, updated. v0.12.0-637-g31e0fc4a7

[openocd-gerrit <ope...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Main OpenOCD repository".

The branch, master has been updated
       via  31e0fc4a7aa049d5cc66a48e2353693b3d52b4a7 (commit)
      from  2fe392ef5085432bb5ae762469ed16e08678f102 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 31e0fc4a7aa049d5cc66a48e2353693b3d52b4a7
Author: Marc Schink <de...@za...>
Date:   Wed Jun 19 08:52:04 2024 +0200

    doc: Remove outdated '-pipe' option
    
    Change-Id: Ie3a7a3aaf69485f16b2447bd1dfa7622b584c7c0
    Signed-off-by: Marc Schink <de...@za...>
    Reviewed-on: https://review.openocd.org/c/openocd/+/8348
    Tested-by: jenkins
    Reviewed-by: Antonio Borneo <bor...@gm...>

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".

-----------------------------------------------------------------------

Summary of changes:
 doc/openocd.texi | 2 --
 1 file changed, 2 deletions(-)


hooks/post-receive
-- 
Main OpenOCD repository