Subject: [PATCH v3 20/21] ci: speed up Windows phase

From: "Johannes Schindelin via GitGitGadget" <[email-masked]>
Date: Wed, 16 Jan 2019 05:36:28 -0800 (PST)

From: Johannes Schindelin <[email-masked]>

As Unix shell scripting comes at a hefty price on Windows, we have to
see where we can save some time to run the test suite.

Let's skip the chain linting and the bin-wrappers/ redirection on
Windows; this seems to shave of anywhere between 10-30% from the overall
runtime.

Signed-off-by: Johannes Schindelin <[email-masked]>
---
 ci/lib.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/lib.sh b/ci/lib.sh
index c5228c1547..bf5f1c9c0f 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -43,6 +43,8 @@ then
 	BREW_INSTALL_PACKAGES=
 	export GIT_PROVE_OPTS="--timer --jobs 10 --state=failed,slow,save"
 	export GIT_TEST_OPTS="--verbose-log -x --write-junit-xml"
+	test windows_nt != "$CI_OS_NAME" ||
+	GIT_TEST_OPTS="--no-chain-lint --no-bin-wrappers $GIT_TEST_OPTS"
 fi
 
 skip_branch_tip_with_tag () {
-- 
gitgitgadget