https://github.com/facebook/rocksdb
Revision e3169e3ea8762d2f34880742106858a23c8dc8b7 authored by Vijay Nadimpalli on 21 October 2019, 19:07:58 UTC, committed by Levi Tamasi on 30 October 2019, 17:32:00 UTC
Summary:
Making platform 007 (gcc 7) default in build_detect_platform.sh.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/5947

Differential Revision: D18038837

Pulled By: vjnadimpalli

fbshipit-source-id: 9ac2ddaa93bf328a416faec028970e039886378e
1 parent 62976c6
History
Tip revision: e3169e3ea8762d2f34880742106858a23c8dc8b7 authored by Vijay Nadimpalli on 21 October 2019, 19:07:58 UTC
Making platform 007 (gcc 7) default in build_detect_platform.sh (#5947)
Tip revision: e3169e3

back to top