diff options
| -rw-r--r-- | perl_checker.src/Makefile | 2 | ||||
| -rw-r--r-- | perl_checker.src/build.mli | 2 | ||||
| -rw-r--r-- | perl_checker.src/global_checks.ml | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/perl_checker.src/Makefile b/perl_checker.src/Makefile index 18bb52f..b639e6c 100644 --- a/perl_checker.src/Makefile +++ b/perl_checker.src/Makefile @@ -16,7 +16,7 @@ build_ml: $(MAKE) build.ml build.ml: - date '+let date = %s' > $@ + date '+let date = "%s"' > $@ echo 'let fake_packages_dir = "'$(VENDORLIB)'/perl_checker_fake_packages"' >> $@ echo 'let debugging = $(DEBUG) > 0' >> $@ diff --git a/perl_checker.src/build.mli b/perl_checker.src/build.mli index 3c6641d..716b843 100644 --- a/perl_checker.src/build.mli +++ b/perl_checker.src/build.mli @@ -1,3 +1,3 @@ -val date : int +val date : string val fake_packages_dir : string val debugging : bool 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) |