1
1
openmpi/contrib/dist
Mike Dubman 6372ac926c tools: fix cli args parsing
No need to "shift" if argument does not expect parameter on the command line.
2014-10-13 11:33:26 +03:00
..
linux BUILD RPM: revert dist token in Release tag, reset dist to nil when building src.rpm 2014-07-12 12:29:30 +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 find-copyrights.pl: updates for git 2014-10-03 08:52:48 -07:00
make_dist_tarball tools: fix cli args parsing 2014-10-13 11:33:26 +03: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: update for git 2014-10-02 12:31:46 -07: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