From f63e4e3d866e4944e43caabda481596f69407e12 Mon Sep 17 00:00:00 2001
From: Anton Bachin <antonbachin@yahoo.com>
Date: Tue, 27 Aug 2019 17:11:13 +0300
Subject: [PATCH] Check for input .out files; bisect*.out patterns

---
 src/report/report.ml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/report/report.ml b/src/report/report.ml
index c0a10245..6e7a2ae1 100644
--- a/src/report/report.ml
+++ b/src/report/report.ml
@@ -185,6 +185,12 @@ let main () =
     exit 0
   end;
   let data, points =
+    let have_out_file =
+      List.exists
+        (fun file -> Filename.check_suffix file ".out") !raw_coverage_files
+    in
+    if have_out_file then
+      prerr_endline " *** warning: .out files are now .coverage files";
     match !raw_coverage_files with
     | [] ->
         prerr_endline " *** warning: no .coverage files provided";