Merge branch 'main' into add-missing-volatile

pull/7570/head
Xing Guo 2024-04-11 08:01:31 +08:00 committed by GitHub
commit ccba4bc6e7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 27 additions and 10 deletions

View File

@ -1126,6 +1126,22 @@ sub RunVanillaTests
system("mkdir", ("-p", "$pgregressOutputdir/sql")) == 0 system("mkdir", ("-p", "$pgregressOutputdir/sql")) == 0
or die "Could not create vanilla sql dir."; or die "Could not create vanilla sql dir.";
if ($majorversion >= "16")
{
$exitcode = system("$plainRegress",
("--dlpath", $dlpath),
("--inputdir", $pgregressInputdir),
("--outputdir", $pgregressOutputdir),
("--expecteddir", $pgregressOutputdir),
("--schedule", catfile("$pgregressInputdir", "parallel_schedule")),
("--use-existing"),
("--host","$host"),
("--port","$masterPort"),
("--user","$user"),
("--dbname", "$dbName"));
}
else
{
$exitcode = system("$plainRegress", $exitcode = system("$plainRegress",
("--dlpath", $dlpath), ("--dlpath", $dlpath),
("--inputdir", $pgregressInputdir), ("--inputdir", $pgregressInputdir),
@ -1137,6 +1153,7 @@ sub RunVanillaTests
("--user","$user"), ("--user","$user"),
("--dbname", "$dbName")); ("--dbname", "$dbName"));
} }
}
if ($useMitmproxy) { if ($useMitmproxy) {
my $tries = 0; my $tries = 0;