diff --git a/etc/config/jakt.amazon.properties b/etc/config/jakt.amazon.properties index 6653c6c7308..0ead89e1de6 100644 --- a/etc/config/jakt.amazon.properties +++ b/etc/config/jakt.amazon.properties @@ -16,5 +16,4 @@ licensePreamble=Copyright (c) 2022, JT, Andreas Kling. All rights reserved. compiler.selfhosted.exe=/opt/compiler-explorer/jakt-trunk/bin/jakt compiler.selfhosted.name=jakt (trunk) -compiler.selfhosted.options=--runtime-path /opt/compiler-explorer/jakt-trunk/runtime --prettify-cpp-source --clang-format-path /opt/compiler-explorer/clang-trunk/bin/clang-format --dot-clang-format-path /opt/compiler-explorer/jakt-trunk/.clang-format --cxx-compiler-path /opt/compiler-explorer/clang-trunk/bin/clang++ -compiler.selfhosted.alias=rustbased +compiler.selfhosted.options=--runtime-path /opt/compiler-explorer/jakt-trunk/runtime --prettify-cpp-source --clang-format-path /opt/compiler-explorer/clang-trunk/bin/clang-format --dot-clang-format-path /opt/compiler-explorer/jakt-trunk/.clang-format --cxx-compiler-path /opt/compiler-explorer/gcc-12.1.0/bin/g++