diff options
| author | Dave Love <fx@gnu.org> | 2017-07-31 15:04:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-08-21 17:04:54 +0200 |
| commit | 6c171ff47c01b44c1be7632462bdef166a85bdf2 (patch) | |
| tree | f468a50b116fe79c66723cc822f6d02587068052 /ROADMAP | |
| parent | df981d8b36754c820f41f01758c585bf282065c1 (diff) | |
gnu: openmpi: Configure without vampirtrace.
VT is obsoleted by scorep (not currently packaged) and disabling it reduces
the closure considerably.
* mpi.scm (openmpi)[arguments]: Configure without vampirtrace.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions