From: Kefu Chai <kchai@redhat.com>
Date: Wed, 15 Jun 2016 03:25:27 +0000 (+0800)
Subject: script/make_rocksdb_makefile.sh: do not include rocksdb/tools/rdb/*
X-Git-Tag: v11.0.0~154^2
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=refs%2Fpull%2F9708%2Fhead;p=ceph.git

script/make_rocksdb_makefile.sh: do not include rocksdb/tools/rdb/*

Fixes: http://tracker.ceph.com/issues/13554
Signed-off-by: Kefu Chai <kchai@redhat.com>
---

diff --git a/src/script/make_rocksdb_makefile.sh b/src/script/make_rocksdb_makefile.sh
index bd8816df7930..4f614c916ca9 100755
--- a/src/script/make_rocksdb_makefile.sh
+++ b/src/script/make_rocksdb_makefile.sh
@@ -4,7 +4,7 @@ cd rocksdb
 git clean -dffx
 cd ..
 echo "EXTRA_DIST += \\" > /tmp/$$
-for f in `find rocksdb -type f | grep -v /.git$ | sort`; do
+for f in `find rocksdb -type f | grep -v -e /.git$ -e ^rocksdb/tools/rdb | sort`; do
 		echo "  $f \\" >> /tmp/$$
 done
 echo "  rocksdb/AUTHORS" >> /tmp/$$