Merge branch 'main' into add-missing-volatile

pull/7570/head
Jelte Fennema-Nio 2024-04-16 11:34:51 +02:00 committed by GitHub
commit f9e13d6dea
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions

View File

@ -294,6 +294,9 @@ def _run_pg_regress(
output_dir,
"--use-existing",
]
if PG_MAJOR_VERSION >= 16:
command.append("--expecteddir")
command.append(output_dir)
if extra_tests != "":
command.append(extra_tests)