mirror of
https://github.com/postgres/postgres.git
synced 2025-11-28 11:44:57 +03:00
On a platform that isn't supplying __FILE__, previous coding would either crash or give a stale result for the filename string. Not sure how likely that is, but the original code catered for it, so let's keep doing so.