From 5983f50677f0cd1a58e4b06bcaa33ce4d36d9307 Mon Sep 17 00:00:00 2001 From: Tongliang Liao Date: Wed, 16 Sep 2020 20:41:31 +0800 Subject: [PATCH] All 3 PR for https://github.com/facebook/rocksdb/issues/6179 has been released in 6.11.4. --- pkgs/rocksdb.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/rocksdb.sh b/pkgs/rocksdb.sh index 04f8fa00..594ae8df 100644 --- a/pkgs/rocksdb.sh +++ b/pkgs/rocksdb.sh @@ -7,8 +7,7 @@ # ------------------------------------------------------------ - # . "$ROOT_DIR/pkgs/utils/git/version.sh" facebook/rocksdb,v - . "$ROOT_DIR/pkgs/utils/git/version.sh" facebook/rocksdb,master + . "$ROOT_DIR/pkgs/utils/git/version.sh" facebook/rocksdb,v until git clone -b "$GIT_TAG" "$GIT_REPO"; do echo 'Retrying'; done cd rocksdb