diff options
Diffstat (limited to 'src/port/Makefile')
| -rw-r--r-- | src/port/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/port/Makefile b/src/port/Makefile index f205c2c9c50..4320dee0d16 100644 --- a/src/port/Makefile +++ b/src/port/Makefile @@ -154,6 +154,6 @@ pg_config_paths.h: $(top_builddir)/src/Makefile.global echo "#define HTMLDIR \"$(htmldir)\"" >>$@ echo "#define MANDIR \"$(mandir)\"" >>$@ -clean distclean maintainer-clean: +clean distclean: rm -f libpgport.a libpgport_shlib.a libpgport_srv.a rm -f $(OBJS) $(OBJS_SHLIB) $(OBJS_SRV) pg_config_paths.h |