Skip to content
Permalink
Browse files

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

Try to work around temporary Azure Pipelines problem
  • Loading branch information...
dscho committed Apr 5, 2019
2 parents dc2ae9a + 832996a commit a7f813c3c0820501adbe1ab6cd6ba872b8f1ba46
Showing with 1 addition and 0 deletions.
  1. +1 −0 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

0 comments on commit a7f813c

Please sign in to comment.
You can’t perform that action at this time.