diff options
| author | Peter Eisentraut | 2013-09-11 18:34:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-10-11 00:11:56 +0000 |
| commit | 5dd41f3574871757e6b8e2a16b3e736fee36c20d (patch) | |
| tree | 38a6c713a239c3818287f3eb5275c3d0b2779a55 /src/backend/common.mk | |
| parent | 3dc543b3d84f048ca563af1bc98092f1e01e4a81 (diff) | |
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/common.mk')
| -rw-r--r-- | src/backend/common.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/common.mk b/src/backend/common.mk index 2e56151e2b4..5d599dbd0ca 100644 --- a/src/backend/common.mk +++ b/src/backend/common.mk @@ -45,4 +45,4 @@ clean: clean-local clean-local: rm -f $(subsysfilename) $(OBJS) -$(call recurse,coverage maintainer-check) +$(call recurse,coverage) |