diff options
| -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) |