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 /GNUmakefile.in | |
| parent | 3dc543b3d84f048ca563af1bc98092f1e01e4a81 (diff) | |
| download | postgresql-5dd41f3574871757e6b8e2a16b3e736fee36c20d.tar.gz | |
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 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 17b1b3b5a4..80116a1fbf 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -70,8 +70,6 @@ $(call recurse,check-world,src/test src/pl src/interfaces/ecpg contrib,check) $(call recurse,installcheck-world,src/test src/pl src/interfaces/ecpg contrib,installcheck) -$(call recurse,maintainer-check,doc src config contrib) - GNUmakefile: GNUmakefile.in $(top_builddir)/config.status ./config.status $@ |