mirror of
https://github.com/postgres/postgres.git
synced 2025-08-27 07:42:10 +03:00
v16 commit 8fe3e697a1
used REGRESS_OPTS in
a way needing this. That broke "vcregress plcheck". Back-patch
v16..v12; newer versions don't have this build system.