mirror of https://github.com/postgres/postgres
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.pull/1/head
parent
dd136052bc
commit
a87ebace19
Loading…
Reference in new issue