diff options
Diffstat (limited to 'pr/src/memory/Makefile')
| -rw-r--r-- | pr/src/memory/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pr/src/memory/Makefile b/pr/src/memory/Makefile index 25762308..28c15b13 100644 --- a/pr/src/memory/Makefile +++ b/pr/src/memory/Makefile @@ -30,6 +30,10 @@ endif CSRCS = prseg.c prshm.c prshma.c +ifdef GC_LEAK_DETECTOR +CSRCS += prgcleak.c +endif + TARGETS = $(OBJS) INCLUDES = -I$(DIST)/include -I$(MOD_DEPTH)/pr/include -I$(MOD_DEPTH)/pr/include/private |