On Thu, 25 Apr 2024 09:47:11 GMT, SendaoYan <s...@openjdk.org> wrote:
> The script make/devkit/createJMHBundle.sh use fixed maven repo server: > https://repo.maven.apache.org/maven2. It's maybe useful to make the maven > repo mirror configurable. > > Only change devkit shell script, no risk. This pull request has now been integrated. Changeset: ce9eac38 Author: SendaoYan <s...@openjdk.org> Committer: Magnus Ihse Bursie <i...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/ce9eac38191fa700afa3ac06b2b202576a11dd71 Stats: 3 lines in 1 file changed: 1 ins; 0 del; 2 mod 8331113: createJMHBundle.sh support configurable maven repo mirror Reviewed-by: redestad, erikj ------------- PR: https://git.openjdk.org/jdk/pull/18946