From 392f784db72a17b64e489cfb44724cddcc3a061f Mon Sep 17 00:00:00 2001 From: Venky Shankar Date: Tue, 5 Jan 2016 10:59:15 +0530 Subject: [PATCH] rocksdb: remove rdb sources from dist tarball Fixes: #13554 Signed-off-by: Venky Shankar --- src/Makefile-rocksdb.am | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/Makefile-rocksdb.am b/src/Makefile-rocksdb.am index 39ef170cc406..0b8bc1b82ff7 100644 --- a/src/Makefile-rocksdb.am +++ b/src/Makefile-rocksdb.am @@ -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 \ -- 2.47.3