Yanqin Jin 3470c75852 Fix build errors.
Summary: Closes https://github.com/facebook/rocksdb/pull/3967

Differential Revision: D8322775

Pulled By: riversand963

fbshipit-source-id: bd73067bd5d3ed4627348f0685bc499359ad6442
2018-06-07 15:43:09 -07:00
..
2017-12-01 10:42:05 -08:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2017-12-01 10:42:05 -08:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2018-06-07 15:43:09 -07:00
2017-08-03 15:56:46 -07:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2018-03-05 13:13:41 -08:00
2017-08-03 15:56:46 -07:00
2018-01-29 12:56:42 -08:00
2017-08-03 15:56:46 -07:00
2017-08-03 15:56:46 -07:00
2017-08-03 15:56:46 -07:00