mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-09-24 05:28:11 +08:00
Added commands for easier profiling. (#1236)
This commit is contained in:
@@ -61,3 +61,7 @@ opt-level = 1
|
||||
|
||||
[profile.release]
|
||||
lto = "thin"
|
||||
|
||||
[profile.profiling]
|
||||
inherits = "release"
|
||||
debug = true
|
||||
|
||||
Reference in New Issue
Block a user