From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 19 Jan 2016 23:47:38 +0000 (-0800)
Subject: Meta/Make: use prove's --timer option
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bafe7fb3fdfdcb4071197634fd5ed5860a9f808b;p=thirdparty%2Fgit.git

Meta/Make: use prove's --timer option
---

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