From 74342e64bd8b67d79d8a47d65507f77ae6f674dd Mon Sep 17 00:00:00 2001 From: Nathan Rebours Date: Thu, 1 Feb 2024 13:29:59 +0100 Subject: [PATCH] Fix a bug in bench that was running the driver on dune generated folders Signed-off-by: Nathan Rebours --- bench/bench.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bench/bench.ml b/bench/bench.ml index 920667bc8..e80d3a004 100644 --- a/bench/bench.ml +++ b/bench/bench.ml @@ -48,9 +48,10 @@ let time_run_blocking program args = timestamp_after -. timestamp_before (* Takes the path of a directory and returns a list of the full paths of the - files contained within it *) + files contained within it. Filters dot files and folders. *) let readdir_full_paths dir = Sys.readdir dir |> Array.to_list |> List.sort String.compare + |> List.filter (fun path -> path.[0] <> '.') |> List.map (Filename.concat dir) module Input = struct