diff options
Diffstat (limited to 'sal/rtl/source/makefile.mk')
-rw-r--r-- | sal/rtl/source/makefile.mk | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/sal/rtl/source/makefile.mk b/sal/rtl/source/makefile.mk index 80c8e736c3cd..538a0466f1ac 100644 --- a/sal/rtl/source/makefile.mk +++ b/sal/rtl/source/makefile.mk @@ -46,9 +46,10 @@ TARGETTYPE=CUI .INCLUDE : settings.mk -.IF "$(HAVE_VALGRIND_MEMCHECK_H)" == "TRUE" -CDEFS+= -DHAVE_VALGRIND_MEMCHECK_H=1 -.ENDIF +.IF "$(VALGRIND_CFLAGS)" != "" +CFLAGS += $(VALGRIND_CFLAGS) +CDEFS += -DHAVE_VALGRIND_MEMCHECK_H=1 +.ENDIF # VALGRIND_CFLAGS .IF "$(ALLOC)" == "SYS_ALLOC" || "$(ALLOC)" == "TCMALLOC" || "$(ALLOC)" == "JEMALLOC" CDEFS+= -DFORCE_SYSALLOC |