Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:19
erlang
0698-Add-default-VALGRIND_MISC_FLAGS-if-not-set...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0698-Add-default-VALGRIND_MISC_FLAGS-if-not-set.patch of Package erlang
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: [PATCH] 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 -- 2.16.4
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
