diff options
| author | Roeland Jago Douma <roeland@famdouma.nl> | 2019-04-09 23:04:31 +0300 |
|---|---|---|
| committer | Roeland Jago Douma <roeland@famdouma.nl> | 2019-04-09 23:04:31 +0300 |
| commit | d2f9366b39a673301b44d817f0dbbf1c9cd8b21a (patch) | |
| tree | 3eaf14e45021f8f19c231dbeedb97b08216d51d4 /build | |
| parent | 1416ef65e43a30c4bb6bf38ce49336ca1d693617 (diff) | |
Run less phan processes
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
Diffstat (limited to 'build')
| -rw-r--r-- | build/.phan/config.php | 2 |
1 files changed, 1 insertions, 1 deletions
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 |