diff --git a/etc/config/spice.amazon.properties b/etc/config/spice.amazon.properties index 72525446156..7eabce32963 100644 --- a/etc/config/spice.amazon.properties +++ b/etc/config/spice.amazon.properties @@ -1,7 +1,7 @@ compilers=&spice -defaultCompiler=spice01904 +defaultCompiler=spice01905 -group.spice.compilers=spice01902:spice01903:spice01904 +group.spice.compilers=spice01902:spice01903:spice01904:spice01905 group.spice.demangler=/opt/compiler-explorer/gcc-13.2.0/bin/c++filt group.spice.objdumper=/opt/compiler-explorer/gcc-13.2.0/bin/objdump group.spice.isSemVer=true @@ -21,6 +21,8 @@ compiler.spice01903.exe=/opt/compiler-explorer/spice-0.19.3/spice compiler.spice01903.semver=0.19.3 compiler.spice01904.exe=/opt/compiler-explorer/spice-0.19.4/spice compiler.spice01904.semver=0.19.4 +compiler.spice01905.exe=/opt/compiler-explorer/spice-0.19.5/spice +compiler.spice01905.semver=0.19.5 ################################# #################################