Skip to content

Commit

Permalink
Better messages when checking files.
Browse files Browse the repository at this point in the history
  • Loading branch information
Rodolphe Lepigre committed Feb 1, 2018
1 parent ebd6275 commit 17e9d88
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions handle.ml
Original file line number Diff line number Diff line change
Expand Up @@ -120,22 +120,22 @@ and compile : bool -> string list -> unit = fun force path ->
if force || more_recent src obj then
begin
let forced = if force then " (forced)" else "" in
out 1 "Compiling [%s]%s\n%!" src forced;
out 2 "Loading [%s]%s\n%!" src forced;
Stack.push path Sign.loading;
let sign = Sign.create path in
Hashtbl.add Sign.loaded path sign;
handle_cmds sign (parse_file src);
if !gen_obj then Sign.write sign obj;
ignore (Stack.pop Sign.loading);
out 2 "Compiled [%s]\n%!" src;
out 1 "Checked [%s]\n%!" src;
end
else
begin
out 1 "Loading [%s]\n%!" src;
out 2 "Loading [%s]\n%!" src;
let sign = Sign.read obj in
Hashtbl.iter (fun mp _ -> compile false mp) Sign.(sign.deps);
Hashtbl.add Sign.loaded path sign;
Sign.link sign;
out 2 "Loaded [%s]\n%!" obj;
out 1 "Loaded [%s]\n%!" obj;
end;
end

0 comments on commit 17e9d88

Please sign in to comment.