Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
All 3 PR for facebook/rocksdb#6179 has been released in 6.11.4.
  • Loading branch information
xkszltl committed Sep 16, 2020
1 parent 8d37127 commit 5983f50
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions pkgs/rocksdb.sh
Expand Up @@ -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

Expand Down

0 comments on commit 5983f50

Please sign in to comment.