global/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2026-01-16 13:49:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Junio C Hamano
2016-01-19 15:47:38 -08:00
parent f38ba4a335
commit bafe7fb3fd
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Make
View File

@@ -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