diff options
Diffstat (limited to 'config/config.mk')
-rw-r--r-- | config/config.mk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/config.mk b/config/config.mk index 4f7863f2..a3c1674d 100644 --- a/config/config.mk +++ b/config/config.mk @@ -75,6 +75,10 @@ endif GARBAGE += $(DEPENDENCIES) core $(wildcard core.[0-9]*) +ifdef USE_AUTOCONF +DIST_GARBAGE += Makefile +endif + DEFINES += -DFORCE_PR_LOG ifeq ($(_PR_NO_CLOCK_TIMER),1) @@ -184,6 +188,10 @@ ifeq ($(USE_IPV6),1) OS_CFLAGS += -D_PR_INET6 endif +ifdef GC_LEAK_DETECTOR +OS_CFLAGS += -DGC_LEAK_DETECTOR +endif + #################################################################### # # Configuration for the release process |