On Sun, Jan 24, 2021 at 02:20:58PM +0100, Magnus Hagander wrote: > > I found man pages for mkid online --- it's apparently a ctags-like > > code indexing tool, not something for patches. So maybe Bruce still > > uses it, or maybe not. But as long as we've also got make_ctags and > > make_etags in there, I don't have a problem with leaving make_mkid. > > > > make_diff, on the other hand, certainly looks like technology whose > > time has passed. I wonder about pgtest, too. > > I'll go kill make_diff then -- quicker than fixing the docs of it. > > As for pgtest, that one looks a bit interesting as well -- but it's > been patched on as late as 9.5 and in 2018, so it seems at least Bruce > uses it :)
Yes, that is how I noticed the ecpg/preproc.y warning this past weekend. > While at it, what point is "codelines" adding? That is the script I use to generate code line counts when comparing releases. I thought it should be in the tree so others can reproduce my numbers. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
