From 232e2967201c0a8e4b36f14681bcd32d0bb95bd6 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 20 Jan 2016 15:22:05 -0800
Subject: [PATCH] Meta/Make: allow passing prove options from outside
 environment

---
 Make | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Make b/Make
index e746c76fbf..59bf91127d 100755
--- a/Make
+++ b/Make
@@ -199,8 +199,9 @@ if test -z "$oldtest" &&
    sh -c 'prove --exec : >/dev/null 2>&1'
 then
 	# --state=slow,save
-        DEFAULT_TEST_TARGET=prove GIT_PROVE_OPTS="--timer $jobs"
-        export DEFAULT_TEST_TARGET GIT_PROVE_OPTS
+	DEFAULT_TEST_TARGET=prove
+	GIT_PROVE_OPTS="${GIT_PROVE_OPTS:+$GIT_PROVE_OPTS }--timer $jobs"
+	export DEFAULT_TEST_TARGET GIT_PROVE_OPTS
 fi
 
 LC_ALL=$LANG
-- 
2.47.3