1
1
openmpi/contrib/dist
Andrey Maslennikov 547b7da664 rpmbuild: fix rpmtopdir redefinition
Erasing this variable by default makes outside definition useless.

Signed-off-by: Andrey Maslennikov <andreyma@mellanox.com>
(cherry picked from commit c7d51a3a83)
2018-09-19 10:43:35 +03:00
..
linux rpmbuild: fix rpmtopdir redefinition 2018-09-19 10:43:35 +03: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 dist: Autogenerate AUTHORS file 2017-07-27 13:04:17 -07:00
make-html-man-pages.pl dist: Don't build case-conflicting html man pages 2018-03-29 21:44:58 +00:00