Revision 3353b7141ddc85607e4236a8fb5078d2260b6671 authored by Vijay Nadimpalli on 21 October 2019, 19:07:58 UTC, committed by Levi Tamasi on 30 October 2019, 17:32:53 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 d72cceb
Computing file changes ...