HACK: Note rmdir time

talex5 · Feb 12, 2024 · 8b3f831 · 8b3f831
1 parent a61bece
commit 8b3f831
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/bench/bench_stat.ml b/bench/bench_stat.ml
@@ -62,7 +62,12 @@ end
 let with_tmp_dir ~fs prefix suffix fn =
   Switch.run @@ fun sw ->
   let dir = fs / Filename.temp_dir prefix suffix in
-  Switch.on_release sw (fun () -> Path.rmtree dir);
+  Switch.on_release sw (fun () ->
+      let t0 = Unix.gettimeofday () in
+      Path.rmtree dir;
+      let t1 = Unix.gettimeofday () in
+      traceln "Removed tmpdir in %.2f s" (t1 -. t0)
+    );
   fn dir
 
 let bench_stat root =