1
1
Jeff Squyres b207736170 openmpi-nightly-coverity: use far simpler version of safe_system()
The previous safe_system() is quite thorough, but much more than we
really need in this script.  Use a far simpler version that is
significantly easier to maintain.

Also log some of the critical steps that a human can examine the
output upon a failure (e.g., when the failure happens when launched
via cron).

Finally, set the version number to not include "openmpi-", because
Coverity has a limited-width display of the version number.
2015-02-14 10:12:51 -05:00
..
2015-02-09 20:49:04 -08:00
2009-08-20 11:42:18 +00:00
2009-08-20 11:42:18 +00:00