Merge branch 'master' of github.com:facebook/rocksdb

10 years ago · 91cb82f34e
parent 6199cba998 09f5a4b486
commit 91cb82f34e
1 changed files with 3 additions and 0 deletions
--- a/build_tools/fb_compile_mongo.sh
+++ b/build_tools/fb_compile_mongo.sh
@ -1,5 +1,8 @@
 #!/bin/sh
 # fail early
 set -e
 if test -z $ROCKSDB_PATH; then
  ROCKSDB_PATH=~/rocksdb
 fi