Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Delegate coverage tools to @remote_coverage_tools #10383

Closed
wants to merge 1 commit into from
Closed

Delegate coverage tools to @remote_coverage_tools #10383

wants to merge 1 commit into from

Commits on Dec 7, 2019

  1. Delegate coverage tools to @remote_coverage_tools 

    Requires:
 - bazelbuild#10379 is merged
 - a new remote coverage tools zip pushed
 - coverage.WORKSPACE updated to the new tools

This changes the @bazel_tools//tools/test/BUILD file to fully delegate to the @remote_coverage_tools repository, which must contain rules for :lcov_merger and :coverage_report_generator.

This makes the @remote_coverage_tools reference self-contained, which allows overriding the tools using --override_repository, and allows independently replacing or fixing them.

Progress on bazelbuild#4685.

Change-Id: I321c62332f00d910f4ccfb3244d63e60627d59ad
    @ulfjack
    ulfjack committed Dec 7, 2019
    Configuration menu
    Copy the full SHA
    5b69ac8 View commit details
    Browse the repository at this point in the history