From: Dan Mick Date: Wed, 15 Jun 2016 22:50:05 +0000 (-0700) Subject: Merge pull request #9708 from tchaikov/wip-make_rocksdb_makefile-without-rdb X-Git-Tag: v11.0.0~154 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=2380351e1679b4e111a7019aa76877639d66d1ff;p=ceph.git Merge pull request #9708 from tchaikov/wip-make_rocksdb_makefile-without-rdb script/make_rocksdb_makefile.sh: do not include rocksdb/tools/rdb/* Reviewed-by: Dan Mick Reviewed-by: Sage Weil --- 2380351e1679b4e111a7019aa76877639d66d1ff