GNU bug report logs - #27905
changes for openmpi

Previous Next

Full log

View this message in rfc822 format

From: Dave Love <fx <at> gnu.org>
To: Ludovic Courtès <ludovic.courtes <at> inria.fr>
Cc: 27905 <at> debbugs.gnu.org
Subject: [bug#27905] changes for openmpi
Date: Mon, 11 Sep 2017 21:24:05 +0100

[Message part 1 (text/plain, inline)]

I wrote: 

>> So to me that means we can apply the patch below and be done with it.
>> Fine with you?
>
> No, I now think it shouldn't be changed, since the valgrind integration
> is supposed not to impose a significant speed penalty, and I can remove
> valgrind from the closure simply.  I'll send a new patch later.

Here it is, eventually, which gets rid of a lot from the closure.

[0002-gnu-openmpi-Remove-valgrind-from-closure.patch (text/x-diff, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.