diff options
| author | sdong <siying.d@fb.com> | 2020-06-01 16:30:45 -0700 |
|---|---|---|
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | 2020-06-01 16:33:05 -0700 |
| commit | 02f59ed669b424dc8c6f17b0f0c9a8ee47442656 (patch) | |
| tree | d7dcfc28c46b1e3136c7f387e693e48e5123c3f6 /coverage | |
| parent | bcb9e41080deaae9be60c0d483fe015db9b6d9c4 (diff) | |
Find the correct gcov (#6904)
Summary:
Right now in FB environment, wrong gcov is used. Fix it.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/6904
Test Plan: "make coverage" and watch results.
Reviewed By: riversand963
Differential Revision: D21824291
fbshipit-source-id: 666011fd86c36adafa09ebd9eb97742f94fb90bb
Diffstat (limited to 'coverage')
| -rwxr-xr-x | coverage/coverage_test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverage/coverage_test.sh b/coverage/coverage_test.sh index 28c6e360a..1c83b53c1 100755 --- a/coverage/coverage_test.sh +++ b/coverage/coverage_test.sh @@ -12,7 +12,7 @@ fi ROOT=".." # Fetch right version of gcov if [ -d /mnt/gvfs/third-party -a -z "$CXX" ]; then - source $ROOT/build_tools/fbcode_config.sh + source $ROOT/build_tools/fbcode_config_platform007.sh GCOV=$GCC_BASE/bin/gcov else GCOV=$(which gcov) |