]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
rocksdb: remove rdb sources from dist tarball 7105/head
authorVenky Shankar <vshankar@redhat.com>
Tue, 5 Jan 2016 05:29:15 +0000 (10:59 +0530)
committerVenky Shankar <vshankar@redhat.com>
Tue, 5 Jan 2016 06:28:49 +0000 (11:58 +0530)
Fixes: #13554
Signed-off-by: Venky Shankar <vshankar@redhat.com>
src/Makefile-rocksdb.am

index 39ef170cc4066a501e9e76f5c46102c9266af364..0b8bc1b82ff75501b1f3877ff29814c7168287d9 100644 (file)
@@ -559,15 +559,6 @@ EXTRA_DIST += \
   rocksdb/tools/ldb_test.py \
   rocksdb/tools/ldb_tool.cc \
   rocksdb/tools/pflag \
-  rocksdb/tools/rdb/API.md \
-  rocksdb/tools/rdb/binding.gyp \
-  rocksdb/tools/rdb/db_wrapper.cc \
-  rocksdb/tools/rdb/db_wrapper.h \
-  rocksdb/tools/rdb/.gitignore \
-  rocksdb/tools/rdb/rdb \
-  rocksdb/tools/rdb/rdb.cc \
-  rocksdb/tools/rdb/README.md \
-  rocksdb/tools/rdb/unit_test.js \
   rocksdb/tools/reduce_levels_test.cc \
   rocksdb/tools/rocksdb_dump_test.sh \
   rocksdb/tools/run_flash_bench.sh \