- let () =
- match s with
- WEXITED c -> fprintf fmt "Process exited with code %i\n" c
- | WSTOPPED s -> fprintf fmt "Process stopped by signal %i\n" s
- | WSIGNALED s -> fprintf fmt "Process killed by signal %i\n" s
- in
- fprintf fmt "Peak memory use: %ikb\n%!" !max_mem
+ if not !Options.quiet then
+ let () =
+ match s with
+ WEXITED c -> fprintf fmt "Process exited with code %i\n" c
+ | WSTOPPED s -> fprintf fmt "Process stopped by signal %i\n" s
+ | WSIGNALED s -> fprintf fmt "Process killed by signal %i\n" s
+ in
+ fprintf fmt "Peak memory use: %ikb\n%!" !max_mem