diff options
author | Sverker Eriksson <[email protected]> | 2019-06-20 17:15:40 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2019-06-20 17:15:40 +0200 |
commit | 9c35d42191003d1325ad99189d7327f87c9f6fd4 (patch) | |
tree | a124ce8f588c1d6f9d79858b683ea5cd8990450e | |
parent | 3f97c813258c714a38951e0798576c0ed461e9ca (diff) | |
parent | 68b18034925e05be4bc462c6597d75082703c671 (diff) | |
download | otp-9c35d42191003d1325ad99189d7327f87c9f6fd4.tar.gz otp-9c35d42191003d1325ad99189d7327f87c9f6fd4.tar.bz2 otp-9c35d42191003d1325ad99189d7327f87c9f6fd4.zip |
Merge branch 'maint'
-rw-r--r-- | erts/etc/unix/cerl.src | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src index 8cfc2d549e..7a5d31b9eb 100644 --- a/erts/etc/unix/cerl.src +++ b/erts/etc/unix/cerl.src @@ -293,7 +293,8 @@ if [ "x$GDB" = "x" ]; then fi fi if [ "x$VALGRIND_MISC_FLAGS" = "x" ]; then - valgrind_misc_flags= + valgrind_misc_flags="--show-possibly-lost=no --child-silent-after-fork=yes\ + --suppressions=$ROOTDIR/erts/emulator/valgrind/suppress.standard" else valgrind_misc_flags="$VALGRIND_MISC_FLAGS" fi |