[jdk17u-dev] Integrated: 8331113: createJMHBundle.sh support configurable maven repo mirror

[SendaoYan]

On Fri, 26 Apr 2024 01:40:57 GMT, SendaoYan <syan at openjdk.org> wrote:

> Hi,
>   Clean backport of JDK-8331113 for createJMHBundle.sh support configurable maven repo mirror.
>   Only change devkit shell script, no risk.

This pull request has now been integrated.

Changeset: e9a088d1
Author:    SendaoYan <syan at openjdk.org>
Committer: Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/e9a088d1a1b564020579fec890b51b6c05b4f34e
Stats:     3 lines in 1 file changed: 1 ins; 0 del; 2 mod

8331113: createJMHBundle.sh support configurable maven repo mirror

Backport-of: ce9eac38191fa700afa3ac06b2b202576a11dd71

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

PR: https://git.openjdk.org/jdk17u-dev/pull/2428