Skip to content

Commit 7e80d00

Browse files
committed
Time BOLT opts
1 parent f6092f2 commit 7e80d00

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/tools/opt-dist/src/bolt.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,8 @@ pub fn bolt_optimize(
9393
.arg("-update-debug-sections")
9494
// Print optimization statistics
9595
.arg("-dyno-stats")
96+
.arg("--time-rewrite")
97+
.arg("--time-opts")
9698
.run()
9799
.with_context(|| anyhow::anyhow!("Could not optimize {path} with BOLT"))?;
98100

0 commit comments

Comments
 (0)