diff options
author | Luca Barbato <lu_zero@gentoo.org> | 2013-05-14 22:15:18 +0200 |
---|---|---|
committer | Luca Barbato <lu_zero@gentoo.org> | 2013-05-18 21:29:17 +0200 |
commit | edfe609fc9466cbd4f847afac430545799a66e14 (patch) | |
tree | aaf74f4fd6dde9a174e17423a00219b199f94e4c /configure | |
parent | ed50673066956d6f2201a57c3254569f2ab08d9d (diff) | |
download | ffmpeg-edfe609fc9466cbd4f847afac430545799a66e14.tar.gz |
configure: Add basic valgrind-massif support
With the parameter --toolchain valgrind-massif, the configure
script sets reasonable defaults that can be overridden as explained
in the documentation.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -2211,6 +2211,10 @@ case "$toolchain" in add_cflags -fsanitize=thread -pie add_ldflags -fsanitize=thread -pie ;; + valgrind-massif) + target_exec_default="valgrind" + target_exec_args="--alloc-fn=av_malloc --alloc-fn=av_mallocz" + ;; valgrind-memcheck) target_exec_default="valgrind" target_exec_args="--track-origins=yes --leak-check=full" |