RFR: 8331113: createJMHBundle.sh support configurable maven repo mirror

SendaoYan syan at openjdk.org
Thu Apr 25 09:52:51 UTC 2024


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.

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

Commit messages:
 - change copyright 2023 to 2024
 - 8331113: createJMHBundle.sh support configurable maven repo mirror

Changes: https://git.openjdk.org/jdk/pull/18946/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=18946&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8331113
  Stats: 3 lines in 1 file changed: 1 ins; 0 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/18946.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/18946/head:pull/18946

PR: https://git.openjdk.org/jdk/pull/18946


More information about the build-dev mailing list