diff options
| -rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 2cd4885cdd..1eaa62a8e0 100755 --- a/run-tests.php +++ b/run-tests.php @@ -519,6 +519,7 @@ HELP; // Run selected tests. $test_cnt = count($test_files); if ($test_cnt) { + verify_config(); write_information($html_output); usort($test_files, "test_sort"); $start_time = time(); |