From ac6a973ef054a7d27cc60713a889a53e44b4d67d Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Tue, 30 Sep 2003 17:48:17 +0000 Subject: ensure cache entries of removed file are removed --- perl_checker.src/global_checks.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index 10450c5..f184221 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -537,7 +537,10 @@ let read_packages_from_cache per_files dir = let l = Marshal.from_channel fh in close_in fh ; - let l = List.filter (fun file -> not (Hashtbl.mem per_files file.file_name) && file.build_time > mtime file.file_name) l in + let l = List.filter (fun file -> + not (Hashtbl.mem per_files file.file_name) && + (try file.build_time > mtime file.file_name with _ -> false) + ) l in if !Flags.verbose then print_endline_flush (sprintf "using cached files\n%sfrom %s" (String.concat "" (List.map (fun s -> " " ^ s ^ "\n") (List.sort compare (List.map (fun pkg -> pkg.file_name) l)))) file) ; -- cgit v1.2.1