From 8bd559370f51d7cc1877380a5ad726da67ceb0fa Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 29 Apr 2020 18:27:04 -0400
Subject: When TIMED=1, emit timing info for OCaml files

---
 doc/changelog/08-tools/12211-time-ocaml.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/08-tools/12211-time-ocaml.rst

(limited to 'doc')

diff --git a/doc/changelog/08-tools/12211-time-ocaml.rst b/doc/changelog/08-tools/12211-time-ocaml.rst
new file mode 100644
index 0000000000..7ff68cc495
--- /dev/null
+++ b/doc/changelog/08-tools/12211-time-ocaml.rst
@@ -0,0 +1,5 @@
+- **Changed:**
+  When passing ``TIMED=1`` to ``make`` with either Coq's own makefile
+  or a ``coq_makefile``\-made makefile, timing information is now
+  printed for OCaml files as well (`#12211
+  <https://github.com/coq/coq/pull/12211>`_, by Jason Gross).
-- 
cgit v1.2.3