From bafe7fb3fdfdcb4071197634fd5ed5860a9f808b Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 19 Jan 2016 15:47:38 -0800
Subject: [PATCH] Meta/Make: use prove's --timer option

---
 Make | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Make b/Make
index e0cfcbe14e..e746c76fbf 100755
--- a/Make
+++ b/Make
@@ -106,6 +106,7 @@ fi
 case "$NO_PEDANTIC" in
 ?*)	;;
 '')
+	# PEDANT="-Wtypedef-redefinition $PEDANT"
 	PEDANT="-Werror -Wold-style-definition $PEDANT"
 	PEDANT="-Wpointer-arith -Woverflow -Wunused $PEDANT"
 	PEDANT="-Wold-style-declaration -Wstrict-prototypes $PEDANT"
@@ -197,7 +198,8 @@ if test -z "$oldtest" &&
    sh -c 'prove --version >/dev/null 2>&1' &&
    sh -c 'prove --exec : >/dev/null 2>&1'
 then
-        DEFAULT_TEST_TARGET=prove GIT_PROVE_OPTS="$jobs"
+	# --state=slow,save
+        DEFAULT_TEST_TARGET=prove GIT_PROVE_OPTS="--timer $jobs"
         export DEFAULT_TEST_TARGET GIT_PROVE_OPTS
 fi
 
-- 
2.47.3