Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Clean up debug options

Browse source
This commit is contained in:
Martin Robinson 2023-04-28 08:58:18 +02:00
parent 3e3bd9c728
commit dc192172ad
10 changed files with 172 additions and 308 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/profile_traits/time.rs
View file

@ -133,7 +133,7 @@ pub fn profile<T, F>(
where
F: FnOnce() -> T,
{
if opts::get().signpost {
if opts::get().debug.signpost {
signpost::start(category as u32, &[0, 0, 0, (category as usize) >> 4]);
}
let start_time = precise_time_ns();
@ -141,7 +141,7 @@ where
let val = callback();
let end_time = precise_time_ns();
if opts::get().signpost {
if opts::get().debug.signpost {
signpost::end(category as u32, &[0, 0, 0, (category as usize) >> 4]);
}