diff options
Diffstat (limited to 'extra/rust/config.toml.patch')
| -rw-r--r-- | extra/rust/config.toml.patch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/extra/rust/config.toml.patch b/extra/rust/config.toml.patch index 8d0762cd..0f0cfc22 100644 --- a/extra/rust/config.toml.patch +++ b/extra/rust/config.toml.patch @@ -1,21 +1,21 @@ diff -rauN a/config.toml b/config.toml ---- a/config.toml 2019-10-20 16:44:31.647900892 +0200 -+++ b/config.toml 2019-10-20 16:44:39.637875348 +0200 +--- a/config.toml 2020-08-01 10:50:30.352304826 +0200 ++++ b/config.toml 2020-08-01 10:51:38.355820332 +0200 @@ -2,7 +2,7 @@ link-shared = true [build] -target = ["x86_64-unknown-linux-gnu", "i686-unknown-linux-gnu"] +target = ["i686-unknown-linux-gnu"] + tools = ["cargo", "rls", "clippy", "miri", "rustfmt", "analysis", "src"] cargo = "/usr/bin/cargo" rustc = "/usr/bin/rustc" - python = "/usr/bin/python" -@@ -21,11 +21,11 @@ +@@ -22,11 +22,11 @@ # https://github.com/rust-lang/rust/issues/54872 codegen-units-std = 1 --debuginfo-level = 2 -+debuginfo-level = 0 +-debuginfo-level-std = 2 ++debuginfo-level-std = 0 channel = "stable" |