val mtime_of_source_object: source_object -> float option
val mtime_of_target_object: target_object -> float option
val is_readonly_buri_of: options -> source_object -> bool
- val dotdothack: source_object -> source_object
end
module Make = functor (F:Format) -> struct
make_aux root opts [] [] deps
else
make_aux root opts [] []
- (purge_unwanted_roots (List.map F.dotdothack targets) deps)
+ (purge_unwanted_roots targets deps)
in
HLog.debug ("Leaving directory '"^root^"'");
Sys.chdir old_root;