summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-03-25 14:15:26 +0100
committerNikita Popov <nikita.ppv@gmail.com>2019-03-25 14:15:26 +0100
commit071ffa2e7946a8f4fca856c9984be512d1eadbbc (patch)
tree76f65d4da071bd77f81d5425e5db0e93948804fa
parent3c61972451f91df9d657ae06db0397f8d65cc4df (diff)
downloadphp-git-071ffa2e7946a8f4fca856c9984be512d1eadbbc.tar.gz
Don't use parallel testing with -j1
-rwxr-xr-xrun-tests.php4
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':