1
1
openmpi/contrib/dist
Michael Heinz 77caeb9bfa Corrects some whitespace issues with buildrpm.sh
Signed-off-by: Michael Heinz <michael.william.heinz@intel.com>
(cherry picked from commit 8562211623)
2019-05-03 09:54:41 -04:00
..
linux Corrects some whitespace issues with buildrpm.sh 2019-05-03 09:54:41 -04:00
mofed Implemening Jeffs comments 2013-11-09 15:41:31 +00:00
find-copyrights.pl find-copyrights.pl: updates for git 2014-10-03 08:52:48 -07:00
make_dist_tarball Add the option to not make the greek tarball, only making the non-greek one 2016-03-18 12:25:20 -07:00
make_tarball Add sym link from make_dist_tarball to make_tarball. 2009-06-25 16:51:21 +00:00
make-authors.pl make-authors.pl script not compatible with being a submodule. 2019-04-29 10:14:53 -04:00
make-html-man-pages.pl dist: Don't build case-conflicting html man pages 2018-03-29 21:44:58 +00:00