From 187701bd279428ba7cccf2c9819630cbeda3a3b6 Mon Sep 17 00:00:00 2001
From: Jason Volk <jason@zemos.net>
Date: Mon, 15 Jun 2020 21:21:32 -0700
Subject: [PATCH] tools: Allow git fetch failure in case offline and already
 synchronized.

---
 tools/buildrocks.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/buildrocks.sh b/tools/buildrocks.sh
index d7e7d4008..174ebeeb1 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 --force
+git fetch --tags --force
 run git checkout $BRANCH
 NJOBS=`nproc`
 export CFLAGS="$CFLAGS -DROCKSDB_USE_RTTI"