]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
projects / rocksdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62976c6) | patch
Making platform 007 (gcc 7) default in build_detect_platform.sh (#5947) v6.4.6
authorVijay Nadimpalli <vijaynadimpalli@fb.com>
Mon, 21 Oct 2019 19:07:58 +0000 (12:07 -0700)
committerLevi Tamasi <ltamasi@fb.com>
Wed, 30 Oct 2019 17:32:00 +0000 (10:32 -0700)
commite3169e3ea8762d2f34880742106858a23c8dc8b7
tree2693ff1f9613e77458d1e735d885b3aaf7668d3dtree | snapshot
parent62976c633efa219ba6f6501a84a7a8729311ca82commit | diff
Making platform 007 (gcc 7) default in build_detect_platform.sh (#5947)

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
build_tools/build_detect_platform diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.