diff options
| -rw-r--r-- | etc/config/spice.amazon.properties | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/config/spice.amazon.properties b/etc/config/spice.amazon.properties index 7eabce329..411ec55bc 100644 --- a/etc/config/spice.amazon.properties +++ b/etc/config/spice.amazon.properties @@ -1,7 +1,7 @@ compilers=&spice -defaultCompiler=spice01905 +defaultCompiler=spice01906 -group.spice.compilers=spice01902:spice01903:spice01904:spice01905 +group.spice.compilers=spice01902:spice01903:spice01904:spice01905:spice01906 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 @@ -23,6 +23,8 @@ 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 +compiler.spice01906.exe=/opt/compiler-explorer/spice-0.19.6/spice +compiler.spice01906.semver=0.19.6 ################################# ################################# |