From accbf6de7f5e70d513655621dbd4d7786ef03eea Mon Sep 17 00:00:00 2001 From: John Whitington Date: Fri, 25 Sep 2015 14:55:15 +0100 Subject: [PATCH] Non-logging squeeze --- cpdf.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/cpdf.ml b/cpdf.ml index 790ec4d..52dade1 100644 --- a/cpdf.ml +++ b/cpdf.ml @@ -245,6 +245,7 @@ let squeeze ?logto pdf = let log x = match logto with None -> print_string x; flush stdout + | Some "nolog" -> () | Some s -> let fh = open_out_gen [Open_wronly; Open_creat] 0o666 s in seek_out fh (out_channel_length fh);