]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commitdiff
projects / rocksdb.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 05da593 b95e460)
Merge pull request #11 from tchaikov/wip-rocksdb hammer precious-v0.94.9
authorKefu Chai <tchaikov@gmail.com>
Wed, 17 Aug 2016 06:45:47 +0000 (14:45 +0800)
committerGitHub <noreply@github.com>
Wed, 17 Aug 2016 06:45:47 +0000 (14:45 +0800)
configure: add --with-tcmalloc

Reviewed-by: Brad Hubbard <bhubbard@redhat.com>

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