From 5cbe2414936e5ca4e5959c3a01d34e0e31f04a27 Mon Sep 17 00:00:00 2001
From: Bruce Weirdan <weirdan@gmail.com>
Date: Sat, 26 Nov 2022 00:36:47 -0400
Subject: [PATCH] Disable parallel PHAR build

This is an attempt to fix CirleCI issue in this build:
https://app.circleci.com/pipelines/github/weirdan/psalm/666/workflows/33476cb1-d753-4e2d-b067-a5c92808d725/jobs/2457
---
 bin/build-phar.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/build-phar.sh b/bin/build-phar.sh
index aa442102f..e15205f65 100755
--- a/bin/build-phar.sh
+++ b/bin/build-phar.sh
@@ -14,7 +14,7 @@ if [[ ! -f build/phar-versions.php ]] ; then
    exit;
 fi
 
-vendor/bin/box compile
+vendor/bin/box compile --no-parallel
 
 if [[ "$GPG_SIGNING" != '' ]] ; then
     if [[ "$GPG_SECRET_KEY" != '' ]] ; then