tools: Allow git fetch failure in case offline and already synchronized.
This commit is contained in:
parent
2cf9dacb70
commit
187701bd27
|
@ -47,7 +47,7 @@ USERDIR=$PWD # Save current dir and return to it later
|
|||
run git submodule update --init deps/rocksdb
|
||||
|
||||
run cd deps/rocksdb
|
||||
run git fetch --tags --force
|
||||
git fetch --tags --force
|
||||
run git checkout $BRANCH
|
||||
NJOBS=`nproc`
|
||||
export CFLAGS="$CFLAGS -DROCKSDB_USE_RTTI"
|
||||
|
|
Loading…
Reference in New Issue