Mike Dubman 81917412a8 tools: add flag to avoid git pull during tarball create ...

it breaks jenkins scripts because jenkins fetches the branch and disconnects it from the repo.
hence git pull fails

2014-10-08 12:16:08 +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: add flag to avoid git pull during tarball create

2014-10-08 12:16:08 +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