Withdrawn: 7903550 - Broken backward compatibility in JCov build scripts

[Leonid Kuskov]

On Fri, 15 Sep 2023 14:16:57 GMT, Jiří Vaněk <jvanek at openjdk.org> wrote:

> By using proper target name, 7903550is now fixed.
> Custom path, or even custom name can be (again) provided via both -D runtime property or via build.proeprties.
> 
> Accidenatly, also CODETOOLS-7903551 was fixed.
> 7903551 - Move JCov dependencies into a sub-dir.
> Now the libs are by default downloaded to the build/./lib This directoy canbe changed via deps.dir property, so now you can manage the whole folder with deps by one property if needed.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jcov/pull/43