Skip to content
Permalink
Browse files

Merge branch 'revert-azure-pipeline-workaround'

The breakage has been fixed, so let's drop the temporary workaround.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
  • Loading branch information...
dscho committed Apr 11, 2019
2 parents 28397a6 + 769e230 commit d3e1cc2cc1674a851b29b05001e06769bcf246da
Showing with 0 additions and 1 deletion.
  1. +0 −1 ci/lib.sh
@@ -137,7 +137,6 @@ 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 d3e1cc2

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