aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatt Godbolt <matt@godbolt.org>2023-11-20 22:22:10 -0600
committerMatt Godbolt <matt@godbolt.org>2023-11-20 22:22:10 -0600
commit91f56738a0a1374ee73725d367952f449a772551 (patch)
treea1ba6c3950510cb78e593a58df939e6200d9ca03
parenta7e6ec61e36440382931bf3531e6c59e44667bfd (diff)
downloadcompiler-explorer-gh-9638.tar.gz
compiler-explorer-gh-9638.zip
Replace EDG with latest. CC @DarkArc this isn't how I'd usually do it but I suspect you won't want lots of versions of this floating around?gh-9638
-rw-r--r--etc/config/c++.amazon.properties4
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/config/c++.amazon.properties b/etc/config/c++.amazon.properties
index 17ab8028b..3f1b264ee 100644
--- a/etc/config/c++.amazon.properties
+++ b/etc/config/c++.amazon.properties
@@ -2884,11 +2884,11 @@ group.edg.compilerType=edg
group.edg.compilerCategories=edg-cpfe
group.edg-gnu.compilers=edg-6_5-gcc-13
-compiler.edg-6_5-gcc-13.exe=/opt/compiler-explorer/edg-6.5-gcc-13/eccp-scripts/eccp-gcc
+compiler.edg-6_5-gcc-13.exe=/opt/compiler-explorer/edg-6.5-gcc-13-20231120/eccp-scripts/eccp-gcc
compiler.edg-6_5-gcc-13.name=EDG 6.5 (GNU mode gcc 13)
group.edg-default.compilers=edg-6_5-default-13
-compiler.edg-6_5-default-13.exe=/opt/compiler-explorer/edg-6.5-default-13/eccp-scripts/eccp-default
+compiler.edg-6_5-default-13.exe=/opt/compiler-explorer/edg-6.5-default-13-20231120/eccp-scripts/eccp-default
compiler.edg-6_5-default-13.name=EDG 6.5 (default gcc 13)