mirror of
https://github.com/gitui-org/gitui
synced 2026-05-24 09:28:21 +00:00
strip debug symbols in release
This commit is contained in:
parent
1487fe3433
commit
4f89ad5be4
1 changed files with 1 additions and 0 deletions
|
|
@ -75,6 +75,7 @@ members = ["asyncgit", "filetreelist", "git2-hooks", "git2-testing", "scopetime"
|
||||||
lto = true
|
lto = true
|
||||||
opt-level = 'z' # Optimize for size.
|
opt-level = 'z' # Optimize for size.
|
||||||
codegen-units = 1
|
codegen-units = 1
|
||||||
|
strip = "debuginfo"
|
||||||
|
|
||||||
# make debug build as fast as release
|
# make debug build as fast as release
|
||||||
# usage of utf8 encoding inside tui
|
# usage of utf8 encoding inside tui
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue