Merge pull request #2147 from dscho/azure-pipeline-workarounds

dscho · Git for Windows Build Agent · commit c7b7c3a41d23 · 2019-04-05T18:37:32.000Z
Try to work around temporary Azure Pipelines problem
diff --git a/ci/lib.sh b/ci/lib.sh
@@ -132,6 +132,7 @@ then
 	MAKEFLAGS="$MAKEFLAGS --jobs=10"
 	test windows_nt != "$CI_OS_NAME" ||
 	GIT_TEST_OPTS="--no-chain-lint --no-bin-wrappers $GIT_TEST_OPTS"
+	{ setfacl -bR . || :; }
 else
 	echo "Could not identify CI type" >&2
 	exit 1
