Commit 19d44f5f authored by Pietro Abate's avatar Pietro Abate

[r2003-06-07 16:58:20 by cvscast] Empty log message

Original author: cvscast
Date: 2003-06-07 16:58:27+00:00
parent ce339635
...@@ -47,9 +47,12 @@ let time s = ...@@ -47,9 +47,12 @@ let time s =
let real = input_line ic in let real = input_line ic in
let user = input_line ic in let user = input_line ic in
let sys = input_line ic in let sys = input_line ic in
ignore (Unix.close_process_in ic); match (Unix.close_process_in ic) with
pr "%s,%s " (extract "real" real) (extract "user" user); | Unix.WEXITED 0 ->
flush stdout; pr "%s,%s " (extract "real" real) (extract "user" user);
flush stdout;
| _ ->
pr "err"
done; done;
pr "\n" pr "\n"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment