mirror of
https://github.com/gitui-org/gitui
synced 2026-05-23 00:48:35 +00:00
try shrinking bin size
This commit is contained in:
parent
936e965c17
commit
c4880060ea
2 changed files with 8 additions and 1 deletions
|
|
@ -39,4 +39,9 @@ timing=["scopetime/enabled"]
|
|||
members=[
|
||||
"asyncgit",
|
||||
"scopetime",
|
||||
]
|
||||
]
|
||||
|
||||
[profile.release]
|
||||
lto = true
|
||||
opt-level = 'z' # Optimize for size.
|
||||
codegen-units = 1
|
||||
2
Makefile
2
Makefile
|
|
@ -6,6 +6,8 @@ debug:
|
|||
|
||||
build-release:
|
||||
cargo build --release
|
||||
strip target/release/gitui
|
||||
ls -lisah target/release/gitui
|
||||
|
||||
test:
|
||||
cargo test --workspace
|
||||
|
|
|
|||
Loading…
Reference in a new issue