mirror of
https://github.com/postgres/postgres.git
synced 2025-10-22 14:32:25 +03:00
... for some value of "properly". Instead of overriding REGRESS_OPTS, set the variables ENCODING and NO_LOCALE, which is more expressive and allows overriding by the user. Fix vcregress.pl to handle that.