diff --git a/tools/buildrocks.sh b/tools/buildrocks.sh index 625c0bbea..0ebfd4187 100755 --- a/tools/buildrocks.sh +++ b/tools/buildrocks.sh @@ -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"