mirror of
https://github.com/postgres/postgres.git
synced 2025-10-17 00:06:40 -04:00
Looks like some versions of the buildfarm script try to set the port via --port in $EXTRA_REGRESS_OPTS. Override that ...
Looks like some versions of the buildfarm script try to set the port via --port in $EXTRA_REGRESS_OPTS. Override that ...