Fix build script

A git pull seems to cause things to go wrong. Just fetching the repository
and checking out the version that we want seems to work better.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

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