diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2004-07-22 06:52:04 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2004-07-22 06:52:04 +0000 |
| commit | d4942b435732988457b69346df2594805b87fb7e (patch) | |
| tree | aa7f641ccc3c2bae0b546c5ef3cdff4b4e0da2fb /perl_checker.src/global_checks.ml | |
| parent | f75a8ee85b6a04eb58381de43c172199dd38f69b (diff) | |
| download | perl_checker-d4942b435732988457b69346df2594805b87fb7e.tar perl_checker-d4942b435732988457b69346df2594805b87fb7e.tar.gz perl_checker-d4942b435732988457b69346df2594805b87fb7e.tar.bz2 perl_checker-d4942b435732988457b69346df2594805b87fb7e.tar.xz perl_checker-d4942b435732988457b69346df2594805b87fb7e.zip | |
Build.date is now a string (otherwise it overflowed)
Diffstat (limited to 'perl_checker.src/global_checks.ml')
| -rw-r--r-- | perl_checker.src/global_checks.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/perl_checker.src/global_checks.ml b/perl_checker.src/global_checks.ml index def8a79..fc7b4c7 100644 --- a/perl_checker.src/global_checks.ml +++ b/perl_checker.src/global_checks.ml @@ -572,7 +572,7 @@ let read_packages_from_cache per_files dir = let file = dir ^ "/.perl_checker.cache" in let fh = open_in file in let magic = input_line fh in - if magic <> "perl_checker cache " ^ string_of_int Build.date then () else + if magic <> "perl_checker cache " ^ Build.date then () else let l = Marshal.from_channel fh in close_in fh ; @@ -594,7 +594,7 @@ let write_packages_cache per_files dir = let l = List.filter (fun per_file -> per_file.require_name <> None) (hashtbl_values per_files) in let file = dir ^ "/.perl_checker.cache" in let fh = open_out file in - output_string fh ("perl_checker cache " ^ string_of_int Build.date ^ "\n") ; + output_string fh ("perl_checker cache " ^ Build.date ^ "\n") ; Marshal.to_channel fh l [] ; close_out fh ; if !Flags.verbose then print_endline_flush (sprintf "saving cached files\n%sin %s" (pkgs2s " " l) file) |