diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2013-09-11 14:34:28 -0400 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2013-10-10 20:11:56 -0400 |
| commit | 5dd41f3574871757e6b8e2a16b3e736fee36c20d (patch) | |
| tree | 38a6c713a239c3818287f3eb5275c3d0b2779a55 /src/backend/utils/init/miscinit.c | |
| parent | 3dc543b3d84f048ca563af1bc98092f1e01e4a81 (diff) | |
| download | postgresql-5dd41f3574871757e6b8e2a16b3e736fee36c20d.tar.gz postgresql-5dd41f3574871757e6b8e2a16b3e736fee36c20d.zip | |
Remove maintainer-check target, fold into normal build
make maintainer-check was obscure and rarely called in practice, and
many breakages were missed. Fold everything that make maintainer-check
used to do into the normal build. Specifically:
- Call duplicate_oids when genbki.pl is called.
- Check for tabs in SGML files when the documentation is built.
- Run msgfmt with the -c option during the regular build. Add an
additional configure check to see whether we are using the GNU
version. (make maintainer-check probably used to fail with non-GNU
msgfmt.)
Keep maintainer-check as around as phony target for the time being in
case anyone is calling it. But it won't do anything anymore.
Diffstat (limited to 'src/backend/utils/init/miscinit.c')
0 files changed, 0 insertions, 0 deletions