facebook/rocksdb — pull request #48 by dyu (2013-12-27 07:21:40+00:00)
Title: fix build bug

The bug was introduced from fix build bug from the recent commit: https://github.com/facebook/rocksdb/mit/43c386b72ee834c88a1a22500ce1fc36a8208277