diff options
Diffstat (limited to 'sal/rtl/source/makefile.mk')
| -rw-r--r-- | sal/rtl/source/makefile.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sal/rtl/source/makefile.mk b/sal/rtl/source/makefile.mk index 5aaf29ae7..80c8e736c 100644 --- a/sal/rtl/source/makefile.mk +++ b/sal/rtl/source/makefile.mk @@ -46,6 +46,10 @@ TARGETTYPE=CUI .INCLUDE : settings.mk +.IF "$(HAVE_VALGRIND_MEMCHECK_H)" == "TRUE" +CDEFS+= -DHAVE_VALGRIND_MEMCHECK_H=1 +.ENDIF + .IF "$(ALLOC)" == "SYS_ALLOC" || "$(ALLOC)" == "TCMALLOC" || "$(ALLOC)" == "JEMALLOC" CDEFS+= -DFORCE_SYSALLOC .ENDIF |