mifr/subsurface
1
0
Fork 0
mirror of https://github.com/subsurface/subsurface.git synced 2025-02-19 22:16:15 +00:00
Code Issues Projects Releases Packages Wiki Activity

build system: try harder to checkout the right version

Browse source 
And actually fail a build if that doesn't work.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Dirk Hohndel 2019-01-09 08:08:59 -08:00
parent 123f3ef7ec
commit 7923507e76
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/get-dep-lib.sh
View file

@ -46,9 +46,9 @@ git_checkout_library() {
if [ ! "$current_sha" = "$target_sha" ] ; then
git fetch origin
if ! git checkout "$version" ; then
if ! git checkout -f "$version" ; then
echo "Can't find the right tag in $name - giving up"
return 1
exit 1
fi
fi
popd