diff options
| -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 6fe361fb7..d72e213bf 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -77,7 +77,7 @@ if [ ! -d libgit2 ] ; then fi cd libgit2 # let's build with a recent enough version of master for the latest features -git pull origin master +git fetch origin if ! git checkout v0.23.1 ; then echo "Can't find the right tag in libgit2 - giving up" exit 1 |