Andrew Kryczka
63f1c0a57d
fix gflags namespace
...
Summary:
I started adding gflags support for cmake on linux and got frustrated that I'd need to duplicate the build_detect_platform logic, which determines namespace based on attempting compilation. We can do it differently -- use the GFLAGS_NAMESPACE macro if available, and if not, that indicates it's an old gflags version without configurable namespace so we can simply hardcode "google".
Closes https://github.com/facebook/rocksdb/pull/3212
Differential Revision: D6456973
Pulled By: ajkr
fbshipit-source-id: 3e6d5bde3ca00d4496a120a7caf4687399f5d656
2017-12-01 10:42:05 -08:00
..
2017-08-11 12:16:45 -07:00
2017-07-21 18:26:26 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-15 16:11:23 -07:00
2017-11-20 16:42:03 -08:00
2017-10-27 15:00:05 -07:00
2017-11-28 10:48:53 -08:00
2017-07-28 16:27:16 -07:00
2017-11-28 17:28:58 -08:00
2017-08-23 07:56:08 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-15 16:11:23 -07:00
2017-07-17 10:41:56 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-08-23 10:56:06 -07:00
2017-10-19 10:57:12 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-28 16:27:16 -07:00
2017-12-01 10:42:05 -08:00
2017-07-27 14:30:42 -07:00
2017-07-27 14:30:42 -07:00
2017-08-23 07:56:08 -07:00
2017-07-15 16:11:23 -07:00
2017-08-23 19:40:47 -07:00
2017-08-11 12:16:45 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-21 18:26:26 -07:00
2017-10-03 09:11:23 -07:00
2017-10-03 09:11:23 -07:00
2017-10-19 10:57:12 -07:00
2017-07-21 18:26:26 -07:00
2017-07-21 18:26:26 -07:00
2017-09-11 12:04:21 -07:00
2017-07-15 16:11:23 -07:00
2017-10-12 18:28:24 -07:00
2017-09-11 12:04:21 -07:00
2017-10-11 14:57:43 -07:00
2017-10-11 14:57:43 -07:00
2017-11-20 16:42:03 -08:00
2017-08-11 12:16:45 -07:00
2017-07-27 14:30:42 -07:00
2017-07-27 14:30:42 -07:00
2017-11-20 13:26:57 -08:00
2017-08-23 07:56:08 -07:00
2017-08-23 07:56:08 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-10-04 09:57:23 -07:00
2017-10-19 10:57:12 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-15 16:11:23 -07:00
2017-08-11 12:16:45 -07:00
2017-07-27 14:30:42 -07:00
2017-07-15 16:11:23 -07:00
2017-07-21 18:26:26 -07:00
2017-07-15 16:11:23 -07:00
2017-10-27 15:00:05 -07:00
2017-07-15 16:11:23 -07:00
2017-10-23 15:27:27 -07:00
2017-12-01 10:42:05 -08:00
2017-08-09 15:58:13 -07:00
2017-08-18 10:56:20 -07:00
2017-07-15 16:11:23 -07:00
2017-07-15 16:11:23 -07:00