From ebfdf09372f1596403489781d1985b79f6d14b0d Mon Sep 17 00:00:00 2001 From: Darren Li Date: Tue, 1 Aug 2023 13:54:46 +1000 Subject: [PATCH] Updated tzdb scraping code --- gen/gen_time_zone_data.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gen/gen_time_zone_data.ml b/gen/gen_time_zone_data.ml index c6439588..0e8c65df 100644 --- a/gen/gen_time_zone_data.ml +++ b/gen/gen_time_zone_data.ml @@ -290,7 +290,7 @@ let process_overlapping_transition_records (l : transition_record list) : let () = let zoneinfo_file_dir = "/usr/share/zoneinfo/posix" in let all_zoneinfo_file_paths = - FileUtil.(find Is_file zoneinfo_file_dir (fun x y -> y :: x) []) + FileUtil.(find ~follow:Follow Is_file zoneinfo_file_dir (fun x y -> y :: x) []) |> List.sort_uniq String.compare in let all_time_zones_in_parts =