Non-logging squeeze

This commit is contained in:
John Whitington 2015-09-25 14:55:15 +01:00
parent 39b691d19c
commit accbf6de7f
1 changed files with 1 additions and 0 deletions

View File

@ -245,6 +245,7 @@ let squeeze ?logto pdf =
let log x = let log x =
match logto with match logto with
None -> print_string x; flush stdout None -> print_string x; flush stdout
| Some "nolog" -> ()
| Some s -> | Some s ->
let fh = open_out_gen [Open_wronly; Open_creat] 0o666 s in let fh = open_out_gen [Open_wronly; Open_creat] 0o666 s in
seek_out fh (out_channel_length fh); seek_out fh (out_channel_length fh);