diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2018-05-03 17:54:18 -0400 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2018-05-03 17:54:18 -0400 |
commit | 9bf28f96c7eb0c3630ef034679c426c2ee289aca (patch) | |
tree | 71a87ded31406cb2da2df9fd64e83dfa06ec5285 /src/backend/catalog/Catalog.pm | |
parent | fa03769e4c4bf0911da71fba2501006b05ea195a (diff) | |
download | postgresql-9bf28f96c7eb0c3630ef034679c426c2ee289aca.tar.gz |
Rearrange makefile rules for running Gen_fmgrtab.pl.
Make these rules look more like the ones associated with genbki.pl,
to wit:
* Use a stamp file to record when we last ran the script, instead of
relying on the timestamps of the individual output files.
* Take the knowledge out of backend/Makefile and put it in utils/Makefile
where it belongs. I moved down the handling of errcodes.h and probes.h
too, although those continue to be built by separate processes.
In itself, this is just much-needed cleanup with little practical effect.
However, by decoupling these makefile rules from the timestamps of the
generated header files, we open the door to not advancing those timestamps
unnecessarily, which will be taken advantage of by the next commit.
msvc/Solution.pm should be taught to do things similarly, but I'll leave
that for another commit.
Discussion: https://postgr.es/m/16925.1525376229@sss.pgh.pa.us
Diffstat (limited to 'src/backend/catalog/Catalog.pm')
0 files changed, 0 insertions, 0 deletions