- if !Options.do_perf then start_perf ();
- let r = time ~count:!Options.repeat ~msg:"Execution time" (run auto doc) arg in
- if !Options.do_perf then stop_perf ();
+ if !Config.do_perf then start_perf ();
+ let r = Utils.time ~count:!Config.repeat ~msg:"Execution time" (run auto doc) arg in
+ if !Config.do_perf then stop_perf ();