[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.
https://bugs.kde.org/show_bug.cgi?id=411134 Philippe Waroquiers changed: What|Removed |Added Resolution|--- |FIXED Status|REPORTED|RESOLVED --- Comment #3 from Philippe Waroquiers --- Pushed as 3a803036f -- You are receiving this mail because: You are watching all bug changes.
[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.
https://bugs.kde.org/show_bug.cgi?id=411134 Julian Seward changed: What|Removed |Added Attachment #122275|0 |1 is obsolete|| --- Comment #2 from Julian Seward --- Created attachment 122434 --> https://bugs.kde.org/attachment.cgi?id=122434=edit patch to implement dynamically changeable options, without whitespace changes -- You are receiving this mail because: You are watching all bug changes.
[valgrind] [Bug 411134] Allow the user to change a set of command line options during execution.
https://bugs.kde.org/show_bug.cgi?id=411134 Philippe Waroquiers changed: What|Removed |Added CC||philippe.waroquiers@skynet. ||be --- Comment #1 from Philippe Waroquiers --- For background info, see discussion with MariaDB developers https://sourceforge.net/p/valgrind/mailman/message/36738630/ and a similar discussion on StackOverflow https://stackoverflow.com/questions/57245062/suppress-leak-check-in-a-specific-forked-child -- You are receiving this mail because: You are watching all bug changes.