diff options
author | Robert Haas | 2014-07-02 14:48:38 +0000 |
---|---|---|
committer | Robert Haas | 2014-07-02 14:48:38 +0000 |
commit | c205bfa156a154fdf907c6803c6de29fadde2534 (patch) | |
tree | 7acd22403fdf50f9983e30629c6690ea433fdbcd | |
parent | ec82394df728692d25cc5f01616fdd57d500704c (diff) |
Fix build.memory2
-rw-r--r-- | src/backend/utils/mmgr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/mmgr/Makefile b/src/backend/utils/mmgr/Makefile index 4c63c0efcd..427983bfa7 100644 --- a/src/backend/utils/mmgr/Makefile +++ b/src/backend/utils/mmgr/Makefile @@ -12,6 +12,6 @@ subdir = src/backend/utils/mmgr top_builddir = ../../../.. include $(top_builddir)/src/Makefile.global -OBJS = aregion.o aset.o balloc.o freepage.o mcxt.o portalmem.o balloc_map.o +OBJS = aregion.o aset.o balloc.o freepage.o mcxt.o portalmem.o include $(top_srcdir)/src/backend/common.mk |