From 7ff7da4b027966d13a08bb62c85a11ec15018e8f Mon Sep 17 00:00:00 2001 From: Marc Auberer Date: Sun, 3 Mar 2024 04:51:20 +0100 Subject: [PATCH 1/2] [Spice] Add version 0.19.4 --- 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 0d867be96cc..4683efb332a 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.spice01903.exe=/opt/compiler-explorer/spice-0.19.4/spice +compiler.spice01903.semver=0.19.4 ################################# ################################# From bcecd69e4998addf39805403155a18490924ca9c Mon Sep 17 00:00:00 2001 From: Marc Auberer Date: Sun, 3 Mar 2024 19:12:08 +0100 Subject: [PATCH 2/2] Fix copy/paste mistake --- etc/config/spice.amazon.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/config/spice.amazon.properties b/etc/config/spice.amazon.properties index 4683efb332a..72525446156 100644 --- a/etc/config/spice.amazon.properties +++ b/etc/config/spice.amazon.properties @@ -19,8 +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.spice01903.exe=/opt/compiler-explorer/spice-0.19.4/spice -compiler.spice01903.semver=0.19.4 +compiler.spice01904.exe=/opt/compiler-explorer/spice-0.19.4/spice +compiler.spice01904.semver=0.19.4 ################################# #################################