From 68b18034925e05be4bc462c6597d75082703c671 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Thu, 20 Jun 2019 17:13:24 +0200
Subject: Add default VALGRIND_MISC_FLAGS if not set

---
 erts/etc/unix/cerl.src | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3