From 793156dff5771d0610990bdc4fdca7107268008a Mon Sep 17 00:00:00 2001 From: Marc Auberer Date: Tue, 5 Mar 2024 02:21:11 +0100 Subject: [PATCH] [Spice] Add version 0.19.4 (#6214) Add version 0.19.4 Infra PR: https://github.com/compiler-explorer/infra/pull/1249 --- 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..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 ################################# #################################