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 | 6052fd382e639cb30feba5eb4a3b276ba0ec5c43 (patch) | |
| tree | 76fe21bc2526ff24b31805cfad70f464f6af90e2 | |
| parent | 429060ecedd124b1f270004fe1d6dc1b31e4dad4 (diff) | |
| download | perl-MDK-Common-6052fd382e639cb30feba5eb4a3b276ba0ec5c43.tar perl-MDK-Common-6052fd382e639cb30feba5eb4a3b276ba0ec5c43.tar.gz perl-MDK-Common-6052fd382e639cb30feba5eb4a3b276ba0ec5c43.tar.bz2 perl-MDK-Common-6052fd382e639cb30feba5eb4a3b276ba0ec5c43.tar.xz perl-MDK-Common-6052fd382e639cb30feba5eb4a3b276ba0ec5c43.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) ; |