From c2a874d3b0e7ac9e4a39877be8cd01e6272a55e1 Mon Sep 17 00:00:00 2001
From: Tim Cuthbertson <tim@gfxmonk.net>
Date: Wed, 8 Feb 2017 21:50:45 +1100
Subject: [PATCH] discover: Print more information on failure

---
 src/util/discover.ml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/util/discover.ml b/src/util/discover.ml
index eebea2d7b0..cf1517c1c0 100644
--- a/src/util/discover.ml
+++ b/src/util/discover.ml
@@ -547,6 +547,18 @@ let () =
              safe_remove (Filename.chop_extension !caml_file ^ ".cmi");
              safe_remove (Filename.chop_extension !caml_file ^ ".cmo"));
 
+  let exit status =
+    if status <> 0 then begin
+      if !debug then printf "
+See %s for more details.
+      " !log_file
+      else printf "
+Run with DEBUG=y for more details.
+      ";
+    end;
+    exit status
+  in
+
   let setup_data = ref [] in
 
   (* Test for pkg-config. *)