From d2f9366b39a673301b44d817f0dbbf1c9cd8b21a Mon Sep 17 00:00:00 2001
From: Roeland Jago Douma <roeland@famdouma.nl>
Date: Tue, 9 Apr 2019 22:04:31 +0200
Subject: [PATCH] Run less phan processes

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
---
 build/.phan/config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/.phan/config.php b/build/.phan/config.php
index dc914883f01..159011af3b2 100644
--- a/build/.phan/config.php
+++ b/build/.phan/config.php
@@ -128,7 +128,7 @@ return [
 
 	// The number of processes to fork off during the analysis
 	// phase.
-	'processes' => 10,
+	'processes' => 5,
 
 	// Backwards Compatibility Checking. This is slow
 	// and expensive, but you should consider running
-- 
GitLab