diff options
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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); |