andreacavalli/rocksdb
0
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix the directory path for RocksDB repo

Browse Source 
fbshipit-source-id: 285548d
This commit is contained in:
Gunnar Kudrjavets 2016-12-27 22:21:34 -08:00 committed by Facebook Github Bot
parent 548b628054
commit 335981d473
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build_tools/cont_integration.sh
View File

@ -8,7 +8,7 @@
# for a certain interval.
#
SRC_GIT_REPO=/data/git/rocksdb
SRC_GIT_REPO=/data/git/rocksdb-public
error=0
function log {