From 7a7bde1a1981a725c72291cad87fbebebad41e6b Mon Sep 17 00:00:00 2001 From: Miguel Ojeda Date: Wed, 27 Dec 2023 20:57:29 +0100 Subject: [PATCH] rust: update objdumper, linker and defaultCompiler (#5920) I noticed the default Rust version was outdated, and we didn't have an upgrade of the `objdumper` and `linker` for a while, so I decided to send this in advance of tomorrow's Rust version upgrade. I don't know what is the policy to update `objdumper` and `linker` though. We have 13.2, 13.1, 12.1, 11.2 and 11.1 around, so I went with the latest. Hopefully that is OK, please let me know if there is some kind of rule about it. Signed-off-by: Miguel Ojeda --- etc/config/rust.amazon.properties | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/etc/config/rust.amazon.properties b/etc/config/rust.amazon.properties index d1049321e..abba7f368 100644 --- a/etc/config/rust.amazon.properties +++ b/etc/config/rust.amazon.properties @@ -1,7 +1,7 @@ compilers=&rust:&rustgcc:&mrustc:&rustccggcc -objdumper=/opt/compiler-explorer/gcc-11.1.0/bin/objdump -linker=/opt/compiler-explorer/gcc-11.1.0/bin/gcc -defaultCompiler=r1730 +objdumper=/opt/compiler-explorer/gcc-13.2.0/bin/objdump +linker=/opt/compiler-explorer/gcc-13.2.0/bin/gcc +defaultCompiler=r1740 demangler=/opt/compiler-explorer/demanglers/rust/bin/rustfilt buildenvsetup=ceconan-rust