diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 17:48:17 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-09-30 17:48:17 +0000 |
| commit | ac6a973ef054a7d27cc60713a889a53e44b4d67d (patch) | |
| tree | 417377c0922d95e0d154ee7e37f62592cbe82991 | |
| parent | 055fff834d98352eed56ccf4ee9e9bf6a5dc5a5b (diff) | |
| download | perl_checker-ac6a973ef054a7d27cc60713a889a53e44b4d67d.tar perl_checker-ac6a973ef054a7d27cc60713a889a53e44b4d67d.tar.gz perl_checker-ac6a973ef054a7d27cc60713a889a53e44b4d67d.tar.bz2 perl_checker-ac6a973ef054a7d27cc60713a889a53e44b4d67d.tar.xz perl_checker-ac6a973ef054a7d27cc60713a889a53e44b4d67d.zip | |
ensure cache entries of removed file are removed
| -rw-r--r-- | perl_checker.src/global_checks.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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) ; |