discover: Print more information on failure

ocsigen · Apr 4, 2017 · c2a874d · c2a874d
1 parent c4e1834
commit c2a874d
Showing 1 changed file with 12 additions and 0 deletions.
diff --git 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. *)