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