On 5/4/18, Tom Lane <t...@sss.pgh.pa.us> wrote: > Well, the work's already done, and personally I think the code is > cleaner after 9bf28f96c and bad51a49a regardless of whether there's any > performance benefit. You could call 1f1cd9b5d a wart if you wanted. > But we've done largely the same thing to pgindent, for one, in the past > year or so, and I find that to be a usability improvement, independently > of whether there's any build performance win. My editor gets cranky > when files change under it for no reason.
Thanks for looking into that. I meant to do so, but it got stuck on the back burner. I'm happy to report that, running non-parallel make on my old laptop goes from over 5 minutes to about 5 seconds, when touching a catalog file. -John Naylor