diff options
| author | Vijay Nadimpalli <vijaynadimpalli@fb.com> | 2019-10-21 12:07:58 -0700 |
|---|---|---|
| committer | Levi Tamasi <ltamasi@fb.com> | 2019-10-30 10:32:00 -0700 |
| commit | e3169e3ea8762d2f34880742106858a23c8dc8b7 (patch) | |
| tree | 2693ff1f9613e77458d1e735d885b3aaf7668d3d | |
| parent | 62976c633efa219ba6f6501a84a7a8729311ca82 (diff) | |
Making platform 007 (gcc 7) default in build_detect_platform.sh (#5947)v6.4.6
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
| -rwxr-xr-x | build_tools/build_detect_platform | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build_tools/build_detect_platform b/build_tools/build_detect_platform index 4a52c6cdd..529642278 100755 --- a/build_tools/build_detect_platform +++ b/build_tools/build_detect_platform @@ -56,10 +56,10 @@ if [ -z "$ROCKSDB_NO_FBCODE" -a -d /mnt/gvfs/third-party ]; then if [ -n "$ROCKSDB_FBCODE_BUILD_WITH_481" ]; then # we need this to build with MySQL. Don't use for other purposes. source "$PWD/build_tools/fbcode_config4.8.1.sh" - elif [ -n "$ROCKSDB_FBCODE_BUILD_WITH_PLATFORM007" ]; then - source "$PWD/build_tools/fbcode_config_platform007.sh" - else + elif [ -n "$ROCKSDB_FBCODE_BUILD_WITH_5xx" ]; then source "$PWD/build_tools/fbcode_config.sh" + else + source "$PWD/build_tools/fbcode_config_platform007.sh" fi fi |