diff options
Diffstat (limited to 'src/include/Makefile')
| -rw-r--r-- | src/include/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/include/Makefile b/src/include/Makefile index c553e74890..578a778461 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -75,6 +75,3 @@ clean: distclean maintainer-clean: clean rm -f pg_config.h pg_config_ext.h pg_config_os.h dynloader.h stamp-h stamp-ext-h - -maintainer-check: - cd catalog && ./duplicate_oids |