diff options
Diffstat (limited to 'config.example.toml')
| -rw-r--r-- | config.example.toml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/config.example.toml b/config.example.toml index ac5e491b4b5..c3d2ad094ce 100644 --- a/config.example.toml +++ b/config.example.toml @@ -164,6 +164,16 @@ #build-config = {} # ============================================================================= +# Tweaking how GCC is compiled +# ============================================================================= +[gcc] +# Download GCC from CI instead of building it locally. +# Note that this will attempt to download GCC even if there are local +# modifications to the `src/gcc` submodule. +# Currently, this is only supported for the `x86_64-unknown-linux-gnu` target. +# download-ci-gcc = false + +# ============================================================================= # General build configuration options # ============================================================================= [build] |