Alvaro Herrera <alvherre@commandprompt.com> writes:
> Andrew Dunstan wrote:
>> here's a quick untested patch for buildfarm that Stefan might like to try.
> Note that not all core files are named "core". On some Linux distros,
> it's configured to be "core.PID" by default.
And on some platforms, cores don't drop in the current working directory
... but until we have a problem that *only* manifests on such a
platform, I wouldn't worry about that. We do need to look for 'core*'
not just 'core', though.
Don't forget the ulimit point either ... on most Linuxen there won't be
any core at all without twiddling ulimit.
regards, tom lane