diff options
| -rwxr-xr-x | run-tests.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/run-tests.php b/run-tests.php index 58e8fc1dba..6044ff8f72 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1351,9 +1351,9 @@ function run_all_tests_parallel($test_files, $env, $redir_tested) { $workerProcs = []; $workerSocks = []; - echo "====⚡️===========================================================⚡️====\n"; - echo "====⚡️==== WELCOME TO THE FUTURE: run-tests PARALLEL EDITION ====⚡️====\n"; - echo "====⚡️===========================================================⚡️====\n"; + echo "=====================================================================\n"; + echo "========= WELCOME TO THE FUTURE: run-tests PARALLEL EDITION =========\n"; + echo "=====================================================================\n"; // Each test may specify a list of conflict keys. While a test that conflicts with // key K is running, no other test that conflicts with K may run. Conflict keys are |