flambda-backend: Always print -dtimings info to stdout (#2073)

rleshchinskiy · Roman Leshchinskiy · web-flow · commit 418f1a02ad17 · 2023-11-23T10:27:36.000Z
Co-authored-by: Roman Leshchinskiy &lt;rleshchinskiy@janestreet.com&gt;
diff --git a/driver/maindriver.ml b/driver/maindriver.ml
@@ -112,7 +112,7 @@ let main argv ppf =
     n
   | exception Continue
   | () ->
-    Compmisc.with_ppf_dump ~file_prefix:"profile"
+    Compmisc.with_ppf_dump ~stdout:() ~file_prefix:"profile"
       (fun ppf -> Profile.print ppf !Clflags.profile_columns
         ~timings_precision:!Clflags.timings_precision);
     0

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ let main argv ppf =`
`112`	`112`	`n`
`113`	`113`	`\| exception Continue`
`114`	`114`	`\| () ->`
`115`		`- Compmisc.with_ppf_dump ~file_prefix:"profile"`
	`115`	`+ Compmisc.with_ppf_dump ~stdout:() ~file_prefix:"profile"`
`116`	`116`	`(fun ppf -> Profile.print ppf !Clflags.profile_columns`
`117`	`117`	`~timings_precision:!Clflags.timings_precision);`
`118`	`118`	`0`