From 39cc93218473f1072803805101f7b5cc48b2169e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 22 Jan 2019 16:04:55 +0100
Subject: [configure] print Sys.os_type since Architecture alone is ambigous

---
 configure.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index 33f76078cf..6f5ade3b9a 100644
--- a/configure.ml
+++ b/configure.ml
@@ -1001,6 +1001,7 @@ let print_summary () =
   pr "  Architecture                : %s\n" arch;
   if operating_system <> "" then
     pr "  Operating system            : %s\n" operating_system;
+  pr "  Sys.os_type                 : %s\n" Sys.os_type;
   pr "  Coq VM bytecode link flags  : %s\n" (String.concat " " vmbyteflags);
   pr "  Other bytecode link flags   : %s\n" custom_flag;
   pr "  OCaml version               : %s\n" caml_version;
-- 
cgit v1.2.3