mirror of
https://github.com/gitui-org/gitui
synced 2026-05-23 08:58:21 +00:00
use new debug symbol splitting
This commit is contained in:
parent
484195197b
commit
a434bfb125
1 changed files with 4 additions and 1 deletions
|
|
@ -71,4 +71,7 @@ codegen-units = 1
|
|||
# usage of utf8 encoding inside tui
|
||||
# makes their debug profile slow
|
||||
[profile.dev.package."tui"]
|
||||
opt-level = 3
|
||||
opt-level = 3
|
||||
|
||||
[profile.dev]
|
||||
split-debuginfo = "unpacked"
|
||||
|
|
|
|||
Loading…
Reference in a new issue