home
/
code
/
dups.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Report total number of files and execution time
[dups.git]
/
dupfiles.ml
diff --git
a/dupfiles.ml
b/dupfiles.ml
index
1bd4d64
..
8a555e8
100644
(file)
--- a/
dupfiles.ml
+++ b/
dupfiles.ml
@@
-78,7
+78,10
@@
let main input =
| Root_path root -> Stream.rec_file_paths ~root
in
let paths_by_digest = Hashtbl.create 1_000_000 in
| Root_path root -> Stream.rec_file_paths ~root
in
let paths_by_digest = Hashtbl.create 1_000_000 in
+ let path_count = ref 0 in
+ let t0 = Sys.time () in
Stream.iter paths ~f:(fun path ->
Stream.iter paths ~f:(fun path ->
+ incr path_count;
try
let digest = Digest.file path in
let paths =
try
let digest = Digest.file path in
let paths =
@@
-100,7
+103,9
@@
let main input =
List.iter paths ~f:(fun path -> printf " %s\n%!" path)
end
)
List.iter paths ~f:(fun path -> printf " %s\n%!" path)
end
)
- paths_by_digest
+ paths_by_digest;
+ let t1 = Sys.time () in
+ eprintf "Processed %d files in %f seconds.\n%!" !path_count (t1 -. t0)
let () =
let input = ref Paths_on_stdin in
let () =
let input = ref Paths_on_stdin in
This page took
0.019895 seconds
and
4
git commands to generate.