Hi!

On Fri, Jan 11, 2019 at 1:05 PM Tom Lane <t...@sss.pgh.pa.us> wrote:
> Failure would leave a .tmp file behind, but I doubt we care enough
> about that to work harder than this.

Maybe just make sure that "make clean" removes it?


Mitar

-- 
http://mitar.tnode.com/
https://twitter.com/mitar_m

Reply via email to