diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-08-12 09:41:36 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-12 09:41:36 +0100 |
commit | a88a6d5285d60b5d3a94106aeb1359433cd40e8b (patch) | |
tree | d31e04395c2651b69b637600d8444ae962be747d /doc/ale-rust.txt | |
parent | 6167f756280c6d4d10a5d6dc7453393588d90178 (diff) | |
parent | db003a4361613216f88b3525b37e34ed8e3019ab (diff) | |
download | ale-a88a6d5285d60b5d3a94106aeb1359433cd40e8b.zip |
Merge pull request #1806 from jimenezrick/fix-rustc-linter
Fix #1684: Use the correct flag name in rustc linter
Diffstat (limited to 'doc/ale-rust.txt')
-rw-r--r-- | doc/ale-rust.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ale-rust.txt b/doc/ale-rust.txt index a360dce6..a6bd59ad 100644 --- a/doc/ale-rust.txt +++ b/doc/ale-rust.txt @@ -148,11 +148,11 @@ rustc *ale-rust-rustc* g:ale_rust_rustc_options *g:ale_rust_rustc_options* *b:ale_rust_rustc_options* Type: |String| - Default: `'-Z no-trans'` + Default: `'-Z no-codegen'` The variable can be used to change the options passed to `rustc`. - `-Z no-trans` should only work with nightly builds of Rust. Be careful when + `-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. |