diff options
-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': |