diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2015-08-27 13:28:25 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2015-08-27 13:28:25 -0700 |
| commit | 84c8213e140487af6ead0bf876f38204fe5fb878 (patch) | |
| tree | c1a60c9c2448bd425a7f07fe0b85a876703cebe4 /scripts | |
| parent | 035e08e633e9eb8fa4bc12dec77dc84218747f95 (diff) | |
| download | subsurface-84c8213e140487af6ead0bf876f38204fe5fb878.tar.gz | |
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>
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 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 |