From 30986b6e7616e9c170b012bb00dff80603d84c76 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 24 Jan 2014 23:40:57 +0100
Subject: The configure script now outputs the parameters it was fed with in
 config/coq_config.ml

---
 configure.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index 50ad264993..d18c0663c6 100644
--- a/configure.ml
+++ b/configure.ml
@@ -949,7 +949,9 @@ let write_configml f =
   let pr_o s o = pr "let %s = %s\n" s
     (match o with None -> "None" | Some d -> sprintf "Some %S" d)
   in
-  pr "(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)\n\n";
+  pr "(* DO NOT EDIT THIS FILE: automatically generated by ../configure *)\n";
+  pr "(* Exact command that generated this file: *)\n";
+  pr "(* %s *)\n\n" (String.concat " " (Array.to_list Sys.argv));
   pr_b "local" !Prefs.local;
   pr_s "coqrunbyteflags" coqrunbyteflags;
   pr_o "coqlib" (if !Prefs.local then None else Some libdir);
-- 
cgit v1.2.3