summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xci/lib.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/lib.sh b/ci/lib.sh
index 86e37da9bc..d718f4e386 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -69,8 +69,7 @@ skip_good_tree () {
exit 0
}
-check_unignored_build_artifacts ()
-{
+check_unignored_build_artifacts () {
! git ls-files --other --exclude-standard --error-unmatch \
-- ':/*' 2>/dev/null ||
{