8000 [config] fix: move Java 13 over to the JDK13-Updates repository · ev3dev-lang-java/openjdk-ev3@70b0142 · GitHub
[go: up one dir, main page]
Skip to content

Commit 70b0142

Browse files
JakubVanekJakubVanek
committed
[config] fix: move Java 13 over to the JDK13-Updates repository
1 parent 32a7ac2 commit 70b0142

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎scripts/config.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -239,7 +239,7 @@ elif [ "$JDKVER" == "12" ]; then
239239
elif [ "$JDKVER" == "13" ]; then
240240
VERSION_POLICY="latest_general_availability"
241241
JAVA_SCM="git"
242-
JAVA_REPO="https://github.com/openjdk/jdk13.git"
242+
JAVA_REPO="https://github.com/openjdk/jdk13u.git"
243243
PATCHVER="jdk13"
244244
AUTOGEN_STYLE="v2"
245245
if [ "$BUILDER_TYPE" = "native" ]; then

0 commit comments

Comments
 (0)
0