diff options
Diffstat (limited to 'sal/workben/makefile.mk')
| -rw-r--r-- | sal/workben/makefile.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sal/workben/makefile.mk b/sal/workben/makefile.mk index 545b96db4994..eb3873aa3db5 100644 --- a/sal/workben/makefile.mk +++ b/sal/workben/makefile.mk @@ -96,8 +96,8 @@ APP4DEPN=$(SLB)$/sal.lib OBJFILES+=\ $(OBJ)$/measure_oustrings.obj -.IF "$(HAVE_CALLGRIND)" == "YES" -CFLAGSCXX+=-DHAVE_CALLGRIND +.IF "$(ENABLE_VALGRIND)" == "TRUE" +CFLAGSCXX+=-DHAVE_VALGRIND_HEADERS .ENDIF APP6TARGET=measure_oustrings |