diff options
author | Horacio Sanson <hsanson@gmail.com> | 2022-02-20 00:01:06 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-20 00:01:06 +0900 |
commit | 5b1044e2ade71fee4a59f94faa108d99b4e61fb2 (patch) | |
tree | 31cbe18f0c4f96ad34cd4b880c335a6fd2fe0ebb /doc/ale-rust.txt | |
parent | 47470eddc277e0a141e6e36a1e2a19045e051d1c (diff) | |
download | ale-5b1044e2ade71fee4a59f94faa108d99b4e61fb2.zip |
Fix 4086 - use stable command options for rustc (#4087)
Diffstat (limited to 'doc/ale-rust.txt')
-rw-r--r-- | doc/ale-rust.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/ale-rust.txt b/doc/ale-rust.txt index 707943a7..8e846844 100644 --- a/doc/ale-rust.txt +++ b/doc/ale-rust.txt @@ -38,7 +38,7 @@ Integration Information let g:ale_linters = {'rust': ['rustc', 'rls']} < - Also note that rustc 1.12. or later is needed. + Also note that rustc 1.18. or later is needed. =============================================================================== @@ -237,13 +237,13 @@ rustc *ale-rust-rustc* g:ale_rust_rustc_options *g:ale_rust_rustc_options* *b:ale_rust_rustc_options* Type: |String| - Default: `'-Z no-codegen'` + Default: `'--emit=mir -o /dev/null'` The variable can be used to change the options passed to `rustc`. - `-Z no-codegen` should only work with nightly builds of Rust. Be careful when - setting the options, as running `rustc` could execute code or generate - binary files. + Users of nightly builds of Rust might want to use `-Z no-codegen` instead. + Be careful when setting the options, as running `rustc` could execute code + or generate binary files. g:ale_rust_ignore_error_codes *g:ale_rust_ignore_error_codes* |