|
From: | Ludovic Courtès |
Subject: | bug#28674: [PATCH] gnu: openmpi: Add debug output. |
Date: | Tue, 03 Oct 2017 17:11:43 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Dave Love <address@hidden> skribis: > This is necessary for one mechanism for attaching parallel debuggers > and is also relevant for the runtime backtrace facility. > > * gnu/packages/mpi.scm(openmpi)[outputs]: Add debug. Applied, thanks!
[Prev in Thread] | Current Thread | [Next in Thread] |