Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-13 Thread Philippe Waroquiers
On Tue, 2019-08-13 at 16:54 +0300, Michael Widenius wrote: > I can try that at once. Thanks. > Testing... > hm.. It would be good to describe in README_DEVELOPERS how to generate the > autoconfigure scripts. Now it says one to run 'make dist', which will > not work out of the box. README has a

Re: [Valgrind-users] Getting SIGKILL to work in MariaDB

2019-08-13 Thread Michael Widenius
Hi! On Mon, Aug 12, 2019 at 11:59 PM Philippe Waroquiers wrote: > > On Mon, 2019-08-12 at 13:49 +0100, Tom Hughes wrote: > > On 12/08/2019 13:15, Michael Widenius wrote: > > > > > The request I would like you to consider is to do one of the following: > > > - Ensure that sending a sigkill works