]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
projects / ceph.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b56d1f4 cbc3089)
Merge pull request #9708 from tchaikov/wip-make_rocksdb_makefile-without-rdb
authorDan Mick <dan.mick@redhat.com>
Wed, 15 Jun 2016 22:50:05 +0000 (15:50 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2016 22:50:05 +0000 (15:50 -0700)
script/make_rocksdb_makefile.sh: do not include rocksdb/tools/rdb/*

Reviewed-by: Dan Mick <dmick@redhat.com>
Reviewed-by: Sage Weil <sweil@redhat.com>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.