1
1
openmpi/contrib/git
Jeff Squyres 75ed50c9bb build-*ignore.pl: add -o option to specify what file to write
Add some getopt options for both build-gitignore.pl and
build-hgignore.pl:

 -v: be a little verbose
 -h: show a quick help message
 -o: specify the output file to write

build-hgignore.pl defaults to writing .hgignore, and
build-gitignore.pl defaults to writing .gitignore.  But you can use -o
to specify writing a different filename.

This commit was SVN r31397.
2014-04-15 16:58:46 +00:00
..
.gitignore Add a default/trivial .gitignore file and a build-gitignore.pl script 2012-12-01 18:21:13 +00:00
build-gitignore.pl build-*ignore.pl: add -o option to specify what file to write 2014-04-15 16:58:46 +00:00
update-git-svn.sh Script to generate svn2git mirror on github 2013-10-17 06:49:58 +00:00