diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2016-12-31 20:37:05 -0800 |
---|---|---|
committer | Miika Turkia <miika.turkia@gmail.com> | 2017-01-01 14:23:49 +0200 |
commit | 843482ac8b2e0e9ca96aaabedae6d104302ee4a0 (patch) | |
tree | efee2a02ae9d6502e68994c934ce7cf7f455bde5 /scripts | |
parent | ca7f5935beaad8eff1f1c263a5e0b6561a1884f0 (diff) | |
download | subsurface-843482ac8b2e0e9ca96aaabedae6d104302ee4a0.tar.gz |
build.sh: use a more current version of libgit2
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index 404ae1100..35ad3a3ec 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -87,7 +87,7 @@ fi cd libgit2 # let's build with a recent enough version of master for the latest features git fetch origin -if ! git checkout v0.23.1 ; then +if ! git checkout v0.24.5 ; then echo "Can't find the right tag in libgit2 - giving up" exit 1 fi |