1
1
Jeff Squyres 60127b1caa distscript: hugely simplify
Based on initial suggestions from Paul Hargrove
(http://www.open-mpi.org/community/lists/devel/2015/04/17354.php),
simplify the distscript.sh; it really only has to do one thing:
substitute the repo_rev in VERSION.
2015-04-27 06:50:40 -07:00
..
2014-08-25 04:41:56 +00:00
2015-04-27 06:50:40 -07:00
2015-02-09 20:49:04 -08:00
2014-05-05 22:35:23 +00:00
2014-05-05 22:35:23 +00:00
2014-05-05 22:35:23 +00:00
2015-02-09 20:49:04 -08:00
2014-05-05 22:35:23 +00:00
2014-11-01 03:52:41 -07:00