mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
build: Specify optimization flags (#378)
In release profile, enable lto and codgen-units = 1 to enable more optimizations. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
2901481c51
commit
c6a5f1d852
@@ -144,6 +144,8 @@ anyhow = "1.0"
|
||||
|
||||
[profile.release]
|
||||
debug = true
|
||||
lto = true
|
||||
codegen-units = 1
|
||||
|
||||
[[test]]
|
||||
name="opa"
|
||||
|
||||
Reference in New Issue
Block a user