diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-25 14:15:26 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-25 14:15:26 +0100 |
commit | 071ffa2e7946a8f4fca856c9984be512d1eadbbc (patch) | |
tree | 76f65d4da071bd77f81d5425e5db0e93948804fa | |
parent | 3c61972451f91df9d657ae06db0397f8d65cc4df (diff) | |
download | php-git-071ffa2e7946a8f4fca856c9984be512d1eadbbc.tar.gz |
Don't use parallel testing with -j1
-rwxr-xr-x | run-tests.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index fc40ae8a2f..a8dbd81c38 100755 --- a/run-tests.php +++ b/run-tests.php @@ -388,6 +388,10 @@ NO_PROC_OPEN_ERROR; error("'$workers' is not a valid number of workers, try e.g. -j16 for 16 workers"); } $workers = intval($workers, 10); + // Don't use parallel testing infrastructure if there is only one worker. + if ($workers === 1) { + $workers = null; + } break; case 'r': case 'l': |