git: openjdk/jcov: 7903550 - Broken backward compatibility in JCov build scripts (#43)

[duke]

Changeset: 82971eb4
Author:    judovana <jvanek at redhat.com>
Committer: GitHub <noreply at github.com>
Date:      2023-09-25 20:01:10 +0000
URL:       https://git.openjdk.org/jcov/commit/82971eb4a33ae7c0b84bc2cf4d82cc5245aff24e

7903550 - Broken backward compatibility in JCov build scripts (#43)

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.

! build/build.properties
! build/check-dependecies.xml