Mike Dubman 080d88bc9b build: remove distro id from src.rpm filename, select md5 packing algorithm for ... consistency across different distros: src.rpm create on one distro can be unpacked on another when same packing algorithm used on both. reviewed by Jeff cmr=v1.8.2:reviewer=ompi-rm1.8 This commit was SVN r32205.		2014-07-10 19:35:15 +00:00
..
build-server	It occurs to me that the scripts used to build nightly and official	2012-08-08 19:31:51 +00:00
linux	build: remove distro id from src.rpm filename, select md5 packing algorithm for	2014-07-10 19:35:15 +00:00
macosx-pkg	This is a very large change to rename several #define values from	2009-05-06 20:11:28 +00:00
mofed	Implemening Jeffs comments	2013-11-09 15:41:31 +00:00
find-copyrights.pl	Look for README.WINDOWS.txt now (the .txt suffix is new).	2012-02-17 11:40:15 +00:00
gkcommit.pl	gkcommit.pl: fix UTF-8 and other encoding issues	2014-02-13 03:56:01 +00:00
make_dist_tarball	add "--distdir /path/to/move/openmpi-*" param to select where to store build products	2013-09-30 17:19:47 +00:00
make_tarball	Add sym link from make_dist_tarball to make_tarball.	2009-06-25 16:51:21 +00:00
make-authors.pl	Update AUTHORS file with all the IDs that have committed so far on the	2008-09-23 19:38:53 +00:00
make-html-man-pages.pl	Update the script to make PHP-ized man pages to be a bit more	2012-09-21 06:43:53 +00:00