[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27905] changes for openmpi
|
From: |
Dave Love |
|
Subject: |
[bug#27905] changes for openmpi |
|
Date: |
Mon, 11 Sep 2017 21:24:05 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
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
Description: Text Data