Add an optimised release profile

pull/1635/head^2
Blaž Hrastnik 3 years ago
parent 8e07e1b898
commit 66637be700
No known key found for this signature in database
GPG Key ID: 1238B9C4AD889640

@ -20,3 +20,10 @@ split-debuginfo = "unpacked"
[profile.release]
lto = "thin"
# debug = true
[profile.opt]
inherits = "release"
lto = "fat"
codegen-units = 1
# strip = "debuginfo" # TODO: or strip = true
opt-level = 3

Loading…
Cancel
Save