diff options
author | Matt Godbolt <matt@godbolt.org> | 2023-11-20 22:22:10 -0600 |
---|---|---|
committer | Matt Godbolt <matt@godbolt.org> | 2023-11-20 22:22:10 -0600 |
commit | 91f56738a0a1374ee73725d367952f449a772551 (patch) | |
tree | a1ba6c3950510cb78e593a58df939e6200d9ca03 | |
parent | a7e6ec61e36440382931bf3531e6c59e44667bfd (diff) | |
download | compiler-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.properties | 4 |
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) |