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 | 4eb86f480428513e47aeeb97d671bbffba6daa14 (patch) | |
| tree | 69a52df176f1f8d17a728fd001c56fd4de5e3bb9 /perl_checker.src/global_checks.ml | |
| parent | 811d1e0b1feec8f2608020c216bff09ae9fb98ca (diff) | |
| download | perl-MDK-Common-4eb86f480428513e47aeeb97d671bbffba6daa14.tar perl-MDK-Common-4eb86f480428513e47aeeb97d671bbffba6daa14.tar.gz perl-MDK-Common-4eb86f480428513e47aeeb97d671bbffba6daa14.tar.bz2 perl-MDK-Common-4eb86f480428513e47aeeb97d671bbffba6daa14.tar.xz perl-MDK-Common-4eb86f480428513e47aeeb97d671bbffba6daa14.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) |