diff --git a/etc/config/java.amazon.properties b/etc/config/java.amazon.properties index 0ba16609d..e62ceb05c 100644 --- a/etc/config/java.amazon.properties +++ b/etc/config/java.amazon.properties @@ -1,7 +1,7 @@ -compilers=&java8:&java9:&java10:&java11:&java12:&java13:&java14:&java15:&java16:&java17:&java18:&java19:&java20:&java21:&java22:&java23:&java24 +compilers=&java8:&java9:&java10:&java11:&java12:&java13:&java14:&java15:&java16:&java17:&java18:&java19:&java20:&java21:&java22:&java23:&java24:&java25 compilerType=java versionFlag=-version -defaultCompiler=java2102 +defaultCompiler=java2501 demangler= postProcess= options= @@ -157,3 +157,10 @@ group.java24.objdumper=/opt/compiler-explorer/jdk-24.0.0/bin/javap compiler.java2400.exe=/opt/compiler-explorer/jdk-24.0.0/bin/javac compiler.java2400.runtime=/opt/compiler-explorer/jdk-24.0.0/bin/java compiler.java2400.semver=24.0.0 + +group.java25.compilers=java2501 +group.java25.groupName=OpenJDK 25 +group.java25.objdumper=/opt/compiler-explorer/jdk-25.0.1/bin/javap +compiler.java2501.exe=/opt/compiler-explorer/jdk-25.0.1/bin/javac +compiler.java2501.runtime=/opt/compiler-explorer/jdk-25.0.1/bin/java +compiler.java2501.semver=25.0.1