File tree Expand file tree Collapse file tree 2 files changed +2
-6
lines changed
Expand file tree Collapse file tree 2 files changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ gen_hc2cdft.native gen_hc2cdft_c.native gen_hc2hc.native \
1919gen_mdct.native
2020
2121all-local ::
22- $(OCAMLBUILD ) -classic-display -libs unix, nums $(GENFFT_NATIVE )
22+ $(OCAMLBUILD ) -classic-display -libs nums $(GENFFT_NATIVE )
2323
2424maintainer-clean-local ::
2525 $(OCAMLBUILD ) -classic-display -clean
Original file line number Diff line number Diff line change 2121
2222(* various utility functions *)
2323open List
24- open Unix
2524
2625(* ****************************************
2726 * Integer operations
@@ -134,10 +133,7 @@ let rec suchthat a pred =
134133(* print an information message *)
135134let info string =
136135 if ! Magic. verbose then begin
137- let now = Unix. times ()
138- and pid = Unix. getpid () in
139- prerr_string ((string_of_int pid) ^ " : " ^
140- " at t = " ^ (string_of_float now.tms_utime) ^ " : " );
136+ prerr_string (" at t = " ^ (string_of_float (Sys. time() )) ^ " : " );
141137 prerr_string (string ^ " \n " );
142138 flush Stdlib. stderr;
143139 end
You can’t perform that action at this time.
0 commit comments