facebook/rocksdb — pull request #364 by fyrz (2014-10-23 21:28:52+00:00)
Title: Travis Fix

Previous travis fix overwrites OPT parameter in make call.