summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authorNoah Misch2023-08-01 00:04:47 +0000
committerNoah Misch2023-08-01 00:04:47 +0000
commit7c5c4e1c0396b0617a6f9b659dd7375fb0bfb9dc (patch)
tree2b6b8d440c7d7f3fdbd914d5c2db1829229ede4e /src/tools
parentc9af054653077699189884c336a65e23a7c8aebb (diff)
Remove PushOverrideSearchPath() and PopOverrideSearchPath().
Since commit 681d9e4621aac0a9c71364b6f54f00f6d8c4337f, they have no in-tree calls. Any new calls would introduce security vulnerabilities like the one fixed in that commit. Alexander Lakhin, reviewed by Aleksander Alekseev. Discussion: https://postgr.es/m/8ffb4650-52c4-6a81-38fc-8f99be981130@gmail.com
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/pgindent/typedefs.list1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/pgindent/typedefs.list b/src/tools/pgindent/typedefs.list
index ab97f1794a8..dc296afb63d 100644
--- a/src/tools/pgindent/typedefs.list
+++ b/src/tools/pgindent/typedefs.list
@@ -1687,7 +1687,6 @@ OutputPluginCallbacks
OutputPluginOptions
OutputPluginOutputType
OverrideSearchPath
-OverrideStackEntry
OverridingKind
PACE_HEADER
PACL