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 <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
The usefulness of a cup is in its emptiness, Bruce Lee
