diff --git a/etc/config/spice.amazon.properties b/etc/config/spice.amazon.properties index 0d867be96cc..72525446156 100644 --- a/etc/config/spice.amazon.properties +++ b/etc/config/spice.amazon.properties @@ -1,7 +1,7 @@ compilers=&spice -defaultCompiler=spice01903 +defaultCompiler=spice01904 -group.spice.compilers=spice01902:spice01903 +group.spice.compilers=spice01902:spice01903:spice01904 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 @@ -19,6 +19,8 @@ compiler.spice01902.exe=/opt/compiler-explorer/spice-0.19.2/spice compiler.spice01902.semver=0.19.2 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 ################################# #################################