Remove pgrminclude and associated scripts Per git log, the last time someone tried to do something with pgrminclude was around 2011. And it's always had a tendency of causing trouble when it was active. Also, pgcominclude is redundant with headerscheck.
Discussion: https://www.postgresql.org/message-id/flat/2d4dc7b2-cb2e-49b1-b8ca-ba5f7024f05b%40eisentraut.org Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/5af699066f81547aa75c093544fbd57289d30284 Modified Files -------------- src/tools/pginclude/README | 63 -------- src/tools/pginclude/pgcheckdefines | 305 ------------------------------------- src/tools/pginclude/pgcompinclude | 47 ------ src/tools/pginclude/pgdefine | 25 --- src/tools/pginclude/pgfixinclude | 21 --- src/tools/pginclude/pgrminclude | 149 ------------------ 6 files changed, 610 deletions(-)
