Integrated: jcheck: allow configurable census URL

[Erik Helin]

On Fri, 4 Sep 2020 13:23:38 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that makes it possible to configure a URL to the census.xml in a .jcheck/configuration file.
> 
> Testing:
> - [x] Manual testing on Linux x64
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: ca0fdff1
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/ca0fdff1
Stats:     21 lines in 2 files changed: 0 ins; 18 del; 3 mod

jcheck: allow configurable census URL

Reviewed-by: rwestberg

-------------

PR: https://git.openjdk.java.net/skara/pull/785