tools: Add --force for rocksdb repository tags fetch issue upstream.
This commit is contained in:
parent
14b962a695
commit
4f45198308
|
@ -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
|
||||
run git fetch --tags --force
|
||||
run git checkout $BRANCH
|
||||
NJOBS=`nproc`
|
||||
# export CFLAGS="$CFLAGS -DROCKSDB_USE_RTTI"
|
||||
|
|
Loading…
Reference in New Issue