From 851720b4b6ea39850d71a4bff66e6664ba869ca3 Mon Sep 17 00:00:00 2001 From: Marc Auberer Date: Mon, 18 Mar 2024 23:24:32 +0100 Subject: [PATCH] [Spice] Add version 0.19.5 --- etc/config/spice.amazon.properties | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 ################################# #################################