diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-01-16 15:56:56 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-01-16 17:00:55 -0800 |
| commit | 73641c4e73d8634eebe8fe00b96ba039da883b27 (patch) | |
| tree | ac75ab4d3e4cef086514a0a8955020a9c079e82d /.tx | |
| parent | c749498bebd84e9454abb289f819cdfffc346055 (diff) | |
| download | subsurface-73641c4e73d8634eebe8fe00b96ba039da883b27.tar.gz | |
build.sh: if new enough libgit2 is installed, use it
Right now this is only designed for Linux where current distros all should have
a new enough libgit2 (and our instructions tell people to install this with
system tools, so we should also use it).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.tx')
0 files changed, 0 insertions, 0 deletions