From 6e76f2858c0442acbff8ada3e09d3ad70e538ab9 Mon Sep 17 00:00:00 2001
From: Pascal Rigaux <pixel@mandriva.com>
Date: Tue, 30 Sep 2003 18:47:36 +0000
Subject: better handling of bad cache file
---
perl_checker.src/global_checks.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml
index f184221..6e57f6e 100644
--- a/perl_checker.src/global_checks.ml
+++ b/perl_checker.src/global_checks.ml
@@ -548,7 +548,7 @@ let read_packages_from_cache per_files dir =
Info.add_a_file file.file_name file.lines_starts ;
add_file_to_files per_files file
) l
- with Sys_error _ -> ()
+ with Sys_error _ | End_of_file -> ()
let write_packages_cache per_files dir =
try
--
cgit v1.2.1