diff options
| -rw-r--r-- | src/backend/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/backend/Makefile b/src/backend/Makefile index 6adfa3fc140..bed086c6f79 100644 --- a/src/backend/Makefile +++ b/src/backend/Makefile @@ -281,7 +281,8 @@ ifeq ($(PORTNAME), win32) endif distclean: clean - rm -f port/tas.s port/dynloader.c port/pg_sema.c port/pg_shmem.c + rm -f port/tas.s port/dynloader.c port/pg_sema.c port/pg_shmem.c \ + port/pg_latch.c maintainer-clean: distclean rm -f bootstrap/bootparse.c \ |