Hi!
On Fri, Jan 11, 2019 at 1:05 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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