From d83bd63441d313b6dabe71cae647b1950c621cf6 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 29 Jun 2017 14:56:36 -0400
Subject: Better support for make TIMED=1 on Windows

This fixes [bug #5619](https://coq.inria.fr/bugs/show_bug.cgi?id=5619)
---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 7b01c1b663..06d4d0b5be 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -62,7 +62,7 @@ VERBOSE ?=
 # Time the Coq process (set to non empty), and how (see default value)
 TIMED?=
 TIMECMD?=
-STDTIME?=/usr/bin/time -f "$* (user: %U mem: %M ko)"
+STDTIME?=/usr/bin/time -f "$* (real: %e, user: %U, sys: %S, mem: %M ko)"
 
 # Coq binaries
 COQC     ?= "$(COQBIN)coqc"
-- 
cgit v1.2.3